HOL/AxClasses
These are the HOL examples of the tutorial
Using Axiomatic Type Classes in Isabelle
. See also FOL/ex/NatClass for the natural number example.