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/syn_trans.ML
changeset 3700 3a8192e83579
parent 3691 f0396ac63e12
child 3777 434d875f4661 
--- a/src/Pure/Syntax/syn_trans.ML	Tue Sep 23 17:35:07 1997 +0200
+++ b/src/Pure/Syntax/syn_trans.ML	Wed Sep 24 10:51:52 1997 +0200
@@ -280,7 +280,7 @@
    ("_bigimpl", bigimpl_ast_tr)],
   [("_abs", abs_tr), ("_aprop", aprop_tr), ("_ofclass", ofclass_tr),
    ("_K", k_tr)],
-  [],
+  []: (string * (term list -> term)) list,
   [("_abs", abs_ast_tr'), ("_idts", idtyp_ast_tr' "_idts"),
    ("_pttrns", idtyp_ast_tr' "_pttrns"), ("==>", impl_ast_tr')]);
isabelle