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.