| author | wenzelm |
| Fri, 07 Mar 1997 15:03:57 +0100 | |
| changeset 2762 | 2ade3a141934 |
| parent 2666 | 995d34955791 |
| child 3279 | 815ef5848324 |
| 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://www4.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>