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/type_ext.ML
changeset 14903 d264b8ad3eec
parent 14838 b12855d44c97
child 14981 e73f8140af78 
--- a/src/Pure/Syntax/type_ext.ML	Wed Jun 09 18:54:07 2004 +0200
+++ b/src/Pure/Syntax/type_ext.ML	Wed Jun 09 18:54:26 2004 +0200
@@ -189,7 +189,7 @@
 
 local open Lexicon SynExt in
 
-val type_ext = mk_syn_ext false ["dummy"]
+val type_ext = syn_ext' false (K false)
   [Mfix ("_",           tidT --> typeT,                "", [], max_pri),
    Mfix ("_",           tvarT --> typeT,               "", [], max_pri),
    Mfix ("_",           idT --> typeT,                 "", [], max_pri),
isabelle