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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1256
1f3687711037 fixed $Id$
wenzelm
parents: 1247
diff changeset
     1
$Id$
1247
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     2
1441
7fbe815c18ad added Lattice demo;
wenzelm
parents: 1265
diff changeset
     3
This directory contains the following axiomatic type class examples:
1247
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     4
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     5
  Tutorial/     Some simple axclass demos that go along with the paper
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     6
                "Using Axiomatic Type Classes in Isabelle --- a
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     7
                tutorial".
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     8
1441
7fbe815c18ad added Lattice demo;
wenzelm
parents: 1265
diff changeset
     9
  Group/        Some bits of group theory.
7fbe815c18ad added Lattice demo;
wenzelm
parents: 1265
diff changeset
    10
7fbe815c18ad added Lattice demo;
wenzelm
parents: 1265
diff changeset
    11
  Lattice/      Basic theory of lattices and orders.