# HG changeset patch
# User wenzelm
# Date 1003431823 -7200
# Node ID 84dc8a2479d4092374ce79e50156ac4b86d5a07b
# Parent  f252646080fc71d0b9443516762f64999812da94
legacy interfaces for axclass instantiation;

diff -r f252646080fc -r 84dc8a2479d4 src/Pure/Thy/thy_parse.ML
--- 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]));