src/HOL/AxClasses/README
author wenzelm
Mon, 15 Jan 1996 15:50:41 +0100
changeset 1441 7fbe815c18ad
parent 1265 6ef9a9893fd6
permissions -rw-r--r--
added Lattice demo;

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