Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sorts.str_of_arity;
authorwenzelm
Wed, 16 Apr 1997 18:21:00 +0200
changeset 2961 842be30dc336
parent 2960 a6b56d03ed0d
child 2962 97ae96c72d8c
Sorts.str_of_arity;
src/Pure/axclass.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/axclass.ML	Wed Apr 16 18:17:38 1997 +0200
+++ b/src/Pure/axclass.ML	Wed Apr 16 18:21:00 1997 +0200
@@ -267,7 +267,7 @@
   prove mk_classrel (fn (c1, c2) => c1 ^ " < " ^ c2);
 
 val prove_arity =
-  prove mk_arity (fn (t, ss, c) => Type.str_of_arity (t, ss, [c]));
+  prove mk_arity (fn (t, ss, c) => Sorts.str_of_arity (t, ss, [c]));
 
 
 (* make goals (for interactive use) *)
isabelle