author | nipkow |
Sun, 14 Nov 1993 15:14:30 +0100 | |
changeset 116 | fdc1c3424247 |
parent 115 | 745affa0262b |
child 117 | 6b26ccac50fc |
--- 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);