# HG changeset patch
# User wenzelm
# Date 854024210 -3600
# Node ID 67b66b8a488b8c89e46764daf9d219b01574c60a
# Parent  70aa00ed30250d62247e172d900b8d7e9811dac5
removed;

diff -r 70aa00ed3025 -r 67b66b8a488b src/HOL/AxClasses/README
--- 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.