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;


This directory contains the following axiomatic type class examples:


<DT> Tutorial
<DD> Some simple axclass demos that go along with the paper <A
"Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>


<DT> Group
<DD> Some bits of group theory.


<DT> Lattice
<DD> Basic theory of lattices and orders.