$Id: README,v 1.4 1996/01/15 14:50:41 wenzelm Exp $

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.
