--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/AxClasses/README.html Thu Jan 23 14:05:42 1997 +0100
@@ -0,0 +1,25 @@
+<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>