--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/AxClasses/README	Fri Sep 01 14:27:36 1995 +0200
@@ -0,0 +1,11 @@
+
+$id$
+
+This directory contains some axiomatic type class demos.
+
+
+  Tutorial/     Some simple axclass demos that go along with the paper
+                "Using Axiomatic Type Classes in Isabelle --- a
+                tutorial".
+
+  Group/        Basic group theory with axiomatic type classes.