src/Pure/axclass.ML
changeset 2961 842be30dc336
parent 2672 85d7e800d754
child 3395 d8700b008944
     1.1 --- a/src/Pure/axclass.ML	Wed Apr 16 18:17:38 1997 +0200
     1.2 +++ b/src/Pure/axclass.ML	Wed Apr 16 18:21:00 1997 +0200
     1.3 @@ -267,7 +267,7 @@
     1.4    prove mk_classrel (fn (c1, c2) => c1 ^ " < " ^ c2);
     1.5  
     1.6  val prove_arity =
     1.7 -  prove mk_arity (fn (t, ss, c) => Type.str_of_arity (t, ss, [c]));
     1.8 +  prove mk_arity (fn (t, ss, c) => Sorts.str_of_arity (t, ss, [c]));
     1.9  
    1.10  
    1.11  (* make goals (for interactive use) *)