src/HOL/AxClasses/README.html
author wenzelm
Thu, 23 Jan 1997 14:05:42 +0100
changeset 2544 67b444ca0e4f
child 2666 995d34955791
permissions -rw-r--r--
replaces README;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2544
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     1
<HTML><HEAD><TITLE>HOL/AxClasses/ReadMe</TITLE></HEAD><BODY>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     2
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     3
This directory contains the following axiomatic type class examples:
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     4
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     5
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     6
<DL>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     7
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     8
<DT> Tutorial
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
     9
<DD> Some simple axclass demos that go along with the paper <A
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    10
HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    11
"Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    12
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    13
<P>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    14
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    15
<DT> Group
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    16
<DD> Some bits of group theory.
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    17
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    18
<P>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    19
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    20
<DT> Lattice
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    21
<DD> Basic theory of lattices and orders.
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    22
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    23
</DL>
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    24
67b444ca0e4f replaces README;
wenzelm
parents:
diff changeset
    25
</BODY></HTML>