author | wenzelm |
Wed, 03 Feb 1999 17:33:41 +0100 | |
changeset 6215 | 6165747678ba |
parent 3279 | 815ef5848324 |
permissions | -rw-r--r-- |
<HTML><HEAD><TITLE>HOL/AxClasses/README</TITLE></HEAD><BODY> <h2>Axiomatic type classes</h2> This directory contains the following axiomatic type class examples: <DL> <DT> Tutorial <DD> Some simple axclass demos that go along with the <em>axclass</em> Isabelle document (<tt>isatool doc axclass</tt>). <P> <DT> Group <DD> Some bits of group theory. <P> <DT> Lattice <DD> Basic theory of lattices and orders. </DL> </BODY></HTML>