src/Pure/Tools/named_theorems.ML

--- 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 =