$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.
