Using Axiomatic Type Classes in Isabelle, 2000. Part of the Isabelle documentation, http://isabelle.in.tum.de/doc/axclass.pdf (0)

by M Wenzel