| changeset 17285 | 1fe83f912bd6 |
| parent 17221 | 6cd180204582 |
| child 17367 | 44518c82100a |
--- 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;