diff -r c2a4dccf6e67 -r ed576de7bddc src/HOL/AxClasses/Tutorial/README.html
--- a/src/HOL/AxClasses/Tutorial/README.html Tue Oct 03 18:34:20 2000 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-
-
-
-
-HOL/AxClasses/Tutorial
-
-
-
-HOL/AxClasses/Tutorial
-
-These are the HOL examples of the tutorial Using Axiomatic Type
-Classes in Isabelle. See also FOL/ex/NatClass for the natural
-number example.
-
-
-