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.
made SML/NJ happy;
authorwenzelm
Sun, 17 Aug 2014 16:24:04 +0200
changeset 57965 a18a351132b7
parent 57964 3dfc1bf3ac3d
child 57966 6fab7e95587d
made SML/NJ happy;
src/Pure/Tools/named_theorems.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/named_theorems.ML	Sat Aug 16 22:14:57 2014 +0200
+++ b/src/Pure/Tools/named_theorems.ML	Sun Aug 17 16:24:04 2014 +0200
@@ -25,7 +25,7 @@
   type T = thm Item_Net.T Symtab.table;
   val empty: T = Symtab.empty;
   val extend = I;
-  val merge = Symtab.join (K Item_Net.merge);
+  val merge : T * T -> T = Symtab.join (K Item_Net.merge);
 );
 
 fun new_entry name =
isabelle