Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/syn_ext.ML
changeset 441 2b97bd6415b7
parent 373 68400ea32f7b
child 555 a7f397a14b16 
--- a/src/Pure/Syntax/syn_ext.ML	Fri Jun 24 13:01:53 1994 +0200
+++ b/src/Pure/Syntax/syn_ext.ML	Wed Jun 29 12:01:17 1994 +0200
@@ -311,7 +311,7 @@
 
     fun constrain T =
       Mfix ("_::_", [T, typeT] ---> change_name T "_A", constrainC, 
-            [max_pri, 0], max_pri - 1)
+            [4, 0], 3)
 
     fun unhide T =
       if T <> logicT then
isabelle