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/mixfix.ML
changeset 18024 853e8219732a
parent 17787 b6e0d8323c0e
child 18341 d99396e96632 
--- a/src/Pure/Syntax/mixfix.ML	Fri Oct 28 22:27:47 2005 +0200
+++ b/src/Pure/Syntax/mixfix.ML	Fri Oct 28 22:27:51 2005 +0200
@@ -251,7 +251,7 @@
   ("_struct",     "index => logic",            Mixfix ("\\<struct>_", [1000], 1000))];
 
 val pure_syntax_output =
- [("Goal", "prop => prop", Mixfix ("_", [0], 0)),
+ [("prop", "prop => prop", Mixfix ("_", [0], 0)),
   ("_meta_conjunction", "prop => prop => prop", InfixrName ("&&", 2))];
 
 val pure_appl_syntax =
isabelle