Axiomatic type classes

This directory contains the following axiomatic type class examples:
Tutorial
Some simple axclass demos that go along with the axclass Isabelle document (isatool doc axclass).

Group
Some bits of group theory.

Lattice
Basic theory of lattices and orders.