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