| author | wenzelm |
| Thu, 23 Jan 1997 14:05:42 +0100 | |
| changeset 2544 | 67b444ca0e4f |
| child 2666 | 995d34955791 |
| permissions | -rw-r--r-- |
<HTML><HEAD><TITLE>HOL/AxClasses/ReadMe</TITLE></HEAD><BODY> This directory contains the following axiomatic type class examples: <DL> <DT> Tutorial <DD> Some simple axclass demos that go along with the paper <A HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz"> "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A> <P> <DT> Group <DD> Some bits of group theory. <P> <DT> Lattice <DD> Basic theory of lattices and orders. </DL> </BODY></HTML>