src/HOL/AxClasses/README
author wenzelm
Wed, 13 Sep 1995 11:21:58 +0200
changeset 1256 1f3687711037
parent 1247 18b1441fb603
child 1265 6ef9a9893fd6
permissions -rw-r--r--
fixed $Id$
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1247
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     1
1256
1f3687711037 fixed $Id$
wenzelm
parents: 1247
diff changeset
     2
$Id$
1247
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     3
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     4
This directory contains some axiomatic type class demos.
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     5
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     6
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     7
  Tutorial/     Some simple axclass demos that go along with the paper
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     8
                "Using Axiomatic Type Classes in Isabelle --- a
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
     9
                tutorial".
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
    10
18b1441fb603 Various axiomatic type class demos;
wenzelm
parents:
diff changeset
    11
  Group/        Basic group theory with axiomatic type classes.