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.
tuned _dummy_ofsort syntax;
authorwenzelm
Sat, 29 May 2004 15:07:42 +0200
changeset 14838 b12855d44c97
parent 14837 827c68f8267c
child 14839 c994f1c57fc7
tuned _dummy_ofsort syntax;
src/Pure/Syntax/type_ext.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/type_ext.ML	Sat May 29 15:07:29 2004 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Sat May 29 15:07:42 2004 +0200
@@ -196,7 +196,7 @@
    Mfix ("_",           longidT --> typeT,             "", [], max_pri),
    Mfix ("_::_",        [tidT, sortT] ---> typeT,      "_ofsort", [max_pri, 0], max_pri),
    Mfix ("_::_",        [tvarT, sortT] ---> typeT,     "_ofsort", [max_pri, 0], max_pri),
-   Mfix ("'_::_",       sortT --> typeT,               "_dummy_ofsort", [0], max_pri),
+   Mfix ("'_()::_",     sortT --> typeT,               "_dummy_ofsort", [0], max_pri),
    Mfix ("_",           idT --> sortT,                 "", [], max_pri),
    Mfix ("_",           longidT --> sortT,             "", [], max_pri),
    Mfix ("{}",          sortT,                         "_topsort", [], max_pri),
isabelle