removed;

--- a/src/HOL/AxClasses/README	Thu Jan 23 12:55:31 1997 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-$Id$
-
-This directory contains the following axiomatic type class examples:
-
-  Tutorial/     Some simple axclass demos that go along with the paper
-                "Using Axiomatic Type Classes in Isabelle --- a
-                tutorial".
-
-  Group/        Some bits of group theory.
-
-  Lattice/      Basic theory of lattices and orders.