# HG changeset patch
# User paulson
# Date 841912242 -7200
# Node ID 4acc84e5831ffdc53ccd87ea6ab0faa8a533aa82
# Parent  f2b8005bdc6e721327c4b5f85812d4a6423a34a5
Pretty-printing change to emphasize the scope of assumptions

diff -r f2b8005bdc6e -r 4acc84e5831f src/Pure/Syntax/mixfix.ML
--- a/src/Pure/Syntax/mixfix.ML	Thu Sep 05 10:29:52 1996 +0200
+++ b/src/Pure/Syntax/mixfix.ML	Thu Sep 05 10:30:42 1996 +0200
@@ -154,7 +154,7 @@
   ("_aprop",    "aprop => prop",                  Delimfix "PROP _"),
   ("",          "prop => asms",                   Delimfix "_"),
   ("_asms",     "[prop, asms] => asms",           Delimfix "_;/ _"),
-  ("_bigimpl",  "[asms, prop] => prop",           Mixfix ("((3[| _ |]) ==>/ _)", [0, 1], 1)),
+  ("_bigimpl",  "[asms, prop] => prop",           Mixfix ("((3[| _ |])/ ==> _)", [0, 1], 1)),
   ("_ofclass",  "[type, logic] => prop",          Delimfix "(1OFCLASS/(1'(_,/ _')))"),
   ("_K",        "'a",                             NoSyn),
   ("",          "id => logic",                    Delimfix "_"),