diff -r bab2371e0348 -r 2ff24d87fad1 src/HOL/AxClasses/README.html
--- a/src/HOL/AxClasses/README.html Sun Feb 15 21:26:25 2009 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-
-
-
-
-
-
-
-
- HOL/AxClasses
-
-
-
-HOL/AxClasses
-
-These are the HOL examples of the tutorial Using Axiomatic Type
-Classes in Isabelle. See also FOL/ex/NatClass for the natural
-number example.
-
-