src/Pure/pure_thy.ML
changeset 7278 da64f7413efd
parent 6977 4781c0673e83
child 7405 7e4e286a9931
--- a/src/Pure/pure_thy.ML	Thu Aug 19 12:43:02 1999 +0200
+++ b/src/Pure/pure_thy.ML	Thu Aug 19 12:47:45 1999 +0200
@@ -432,7 +432,7 @@
     ("TYPE", "'a itself", NoSyn),
     (dummy_patternN, "'a", Delimfix "'_")]
   |> Theory.add_modesyntax ("", false)
-    [("Goal", "prop => prop", Mixfix ("_", [0], 0))]
+    [("Goal", "prop => prop", Mixfix ("_", [0], 1000))]
   |> local_path
   |> (add_defs o map Thm.no_attributes)
    [("flexpair_def", "(t =?= u) == (t == u::'a::{})"),