$Id$
This directory contains the following axiomatic type class examples:
Tutorial/ Some simple axclass demos that go along with the paper
"Using Axiomatic Type Classes in Isabelle --- a
tutorial".
Group/ Some bits of group theory.
Lattice/ Basic theory of lattices and orders.