--- a/src/Pure/Thy/thy_parse.ML Thu Oct 18 21:02:46 2001 +0200
+++ b/src/Pure/Thy/thy_parse.ML Thu Oct 18 21:03:43 2001 +0200
@@ -406,8 +406,8 @@
>> mk_witness;
val instance_decl =
- (name --$$ "<" -- name >> (pair "|> AxClass.add_inst_subclass" o mk_pair) ||
- name --$$ "::" -- arity >> (pair "|> AxClass.add_inst_arity" o mk_triple2))
+ (name --$$ "<" -- name >> (pair "|> AxClass.add_inst_subclass_x" o mk_pair) ||
+ name --$$ "::" -- arity >> (pair "|> AxClass.add_inst_arity_x" o mk_triple2))
-- opt_witness
>> (fn ((x, y), z) => (cat_lines [x, y, z]));