src/Pure/Syntax/mixfix.ML
changeset 18024 853e8219732a
parent 17787 b6e0d8323c0e
child 18341 d99396e96632
     1.1 --- a/src/Pure/Syntax/mixfix.ML	Fri Oct 28 22:27:47 2005 +0200
     1.2 +++ b/src/Pure/Syntax/mixfix.ML	Fri Oct 28 22:27:51 2005 +0200
     1.3 @@ -251,7 +251,7 @@
     1.4    ("_struct",     "index => logic",            Mixfix ("\\<struct>_", [1000], 1000))];
     1.5  
     1.6  val pure_syntax_output =
     1.7 - [("Goal", "prop => prop", Mixfix ("_", [0], 0)),
     1.8 + [("prop", "prop => prop", Mixfix ("_", [0], 0)),
     1.9    ("_meta_conjunction", "prop => prop => prop", InfixrName ("&&", 2))];
    1.10  
    1.11  val pure_appl_syntax =