src/HOL/AxClasses/README.html
author wenzelm
Thu, 20 Feb 1997 16:45:47 +0100
changeset 2666 995d34955791
parent 2544 67b444ca0e4f
child 3279 815ef5848324
permissions -rw-r--r--
tuned URL;
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
2666
995d34955791 tuned URL;
wenzelm
parents: 2544
diff changeset
    10
HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
2544
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>