src/Pure/axclass.ML

--- a/src/Pure/axclass.ML	Tue Aug 14 23:22:49 2007 +0200
+++ b/src/Pure/axclass.ML	Tue Aug 14 23:22:51 2007 +0200
@@ -189,7 +189,7 @@
 fun cert_classrel thy raw_rel =
   let
     val (c1, c2) = pairself (Sign.certify_class thy) raw_rel;
-    val _ = Type.add_classrel (Sign.pp thy) (c1, c2) (Sign.tsig_of thy);
+    val _ = Sign.primitive_classrel (c1, c2) (Theory.copy thy);
     val _ =
       (case subtract (op =) (all_params_of thy [c1]) (all_params_of thy [c2]) of
         [] => ()