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.