src/Pure/axclass.ML
changeset 24271 499608101177
parent 23421 c9007fc4a646
child 24589 d3fca349736c
     1.1 --- a/src/Pure/axclass.ML	Tue Aug 14 23:22:49 2007 +0200
     1.2 +++ b/src/Pure/axclass.ML	Tue Aug 14 23:22:51 2007 +0200
     1.3 @@ -189,7 +189,7 @@
     1.4  fun cert_classrel thy raw_rel =
     1.5    let
     1.6      val (c1, c2) = pairself (Sign.certify_class thy) raw_rel;
     1.7 -    val _ = Type.add_classrel (Sign.pp thy) (c1, c2) (Sign.tsig_of thy);
     1.8 +    val _ = Sign.primitive_classrel (c1, c2) (Theory.copy thy);
     1.9      val _ =
    1.10        (case subtract (op =) (all_params_of thy [c1]) (all_params_of thy [c2]) of
    1.11          [] => ()