diff -r e187dacd248f -r 537206cc738f src/HOL/AxClasses/README.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/AxClasses/README.html Tue Oct 03 18:30:56 2000 +0200
@@ -0,0 +1,17 @@
+
+
+
+
+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.
+
+
+