# HG changeset patch
# User wenzelm
# Date 1126018800 -7200
# Node ID 1fe83f912bd6fac249e269a9246583211b79ab6c
# Parent  ca3eebbb372438477d8c3a21dbca9c8b7df4d3ec
axclass: no longer bind "cI";

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;