# HG changeset patch
# User wenzelm
# Date 810984118 -7200
# Node ID 1f3687711037e963e3e1c5b7762d4d9524b00931
# Parent  0e76adc74e7f644efd1332dc3183ff2b46880ef4
fixed $Id$

diff -r 0e76adc74e7f -r 1f3687711037 src/HOL/AxClasses/README
--- a/src/HOL/AxClasses/README	Tue Sep 12 11:04:29 1995 +0200
+++ b/src/HOL/AxClasses/README	Wed Sep 13 11:21:58 1995 +0200
@@ -1,5 +1,5 @@
 
-$id$
+$Id$
 
 This directory contains some axiomatic type class demos.