--- a/src/HOL/AxClasses/README.html Fri Aug 20 15:42:46 1999 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-<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>