# HG changeset patch
# User clasohm
# Date 812808717 -3600
# Node ID 6ef9a9893fd6270b7d443bb678b22b08666382e7
# Parent  3eb91524b9382aca0dda5c2378edf61d43c3bfda
corrected $Id$

diff -r 3eb91524b938 -r 6ef9a9893fd6 src/HOL/AxClasses/README
--- a/src/HOL/AxClasses/README	Wed Oct 04 13:10:03 1995 +0100
+++ b/src/HOL/AxClasses/README	Wed Oct 04 13:11:57 1995 +0100
@@ -1,4 +1,3 @@
-
 $Id$
 
 This directory contains some axiomatic type class demos.