diff -r ca3eebbb3724 -r 1fe83f912bd6 src/Pure/Thy/thy_parse.ML
--- a/src/Pure/Thy/thy_parse.ML	Tue Sep 06 16:59:59 2005 +0200
+++ b/src/Pure/Thy/thy_parse.ML	Tue Sep 06 17:00:00 2005 +0200
@@ -382,7 +382,7 @@
 (* axclass *)
 
 fun mk_axclass_decl ((c, cs), axms) =
-  (mk_pair (c, cs) ^ "\n" ^ mk_axms' axms, unenclose c ^ "I" :: map fst axms);
+  (mk_pair (c, cs) ^ "\n" ^ mk_axms' axms, map fst axms);
 
 val axclass_decl = subclass -- repeat (ident -- !! string) >> mk_axclass_decl;