author | wenzelm |
Wed, 16 Apr 1997 18:21:00 +0200 | |
changeset 2961 | 842be30dc336 |
parent 2960 | a6b56d03ed0d |
child 2962 | 97ae96c72d8c |
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) *)