--- /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 @@
+<!-- $Id$ -->
+<html>
+
+<head>
+<title>HOL/AxClasses</title>
+</head>
+
+<body>
+<h1>HOL/AxClasses</h1>
+
+These are the HOL examples of the tutorial <a
+href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type
+Classes in Isabelle</a>.  See also FOL/ex/NatClass for the natural
+number example.
+
+</body>
+</html>