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.
logtypes: pretend "dummy" is one;
authorwenzelm
Tue, 07 Sep 1999 16:55:38 +0200
changeset 7500 299949eddba8
parent 7499 23e090051cb8
child 7501 76ed51454609
logtypes: pretend "dummy" is one;
src/Pure/Syntax/type_ext.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/type_ext.ML	Tue Sep 07 10:40:58 1999 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Tue Sep 07 16:55:38 1999 +0200
@@ -156,7 +156,7 @@
 
 local open Lexicon SynExt in
 
-val type_ext = mk_syn_ext false []
+val type_ext = mk_syn_ext false ["dummy"]
   [Mfix ("_",           tidT --> typeT,                "", [], max_pri),
    Mfix ("_",           tvarT --> typeT,               "", [], max_pri),
    Mfix ("_",           idT --> typeT,                 "", [], max_pri),
isabelle