Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed application format for pretty-printer
authornipkow
Sun, 14 Nov 1993 15:14:30 +0100
changeset 116 fdc1c3424247
parent 115 745affa0262b
child 117 6b26ccac50fc
changed application format for pretty-printer
src/Pure/Syntax/extension.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/extension.ML	Fri Nov 12 11:43:35 1993 +0100
+++ b/src/Pure/Syntax/extension.ML	Sun Nov 14 15:14:30 1993 +0100
@@ -236,7 +236,7 @@
     fun parents T = Mfix ("(1'(_'))", T --> T, "", [0], max_pri);
 
     fun mkappl T =
-      Mfix ("_/(1'(_'))", [funT, argsT] ---> T, applC, [max_pri, 0], max_pri);
+      Mfix ("(1_/(1'(_')))", [funT, argsT] ---> T, applC, [max_pri, 0], max_pri);
 
     fun mkid T = Mfix ("_", idT --> T, "", [], max_pri);
isabelle