src/HOL/AxClasses/README
author nipkow
Mon Oct 21 09:50:50 1996 +0200 (1996-10-21)
changeset 2115 9709f9188549
parent 1441 7fbe815c18ad
permissions -rw-r--r--
Added trans_tac (see Provers/nat_transitive.ML)
     1 $Id$
     2 
     3 This directory contains the following axiomatic type class examples:
     4 
     5   Tutorial/     Some simple axclass demos that go along with the paper
     6                 "Using Axiomatic Type Classes in Isabelle --- a
     7                 tutorial".
     8 
     9   Group/        Some bits of group theory.
    10 
    11   Lattice/      Basic theory of lattices and orders.