src/Pure/Tools/named_theorems.ML
changeset 57965 a18a351132b7
parent 57929 c5063c033a5a
child 59028 df7476e79558
     1.1 --- a/src/Pure/Tools/named_theorems.ML	Sat Aug 16 22:14:57 2014 +0200
     1.2 +++ b/src/Pure/Tools/named_theorems.ML	Sun Aug 17 16:24:04 2014 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4    type T = thm Item_Net.T Symtab.table;
     1.5    val empty: T = Symtab.empty;
     1.6    val extend = I;
     1.7 -  val merge = Symtab.join (K Item_Net.merge);
     1.8 +  val merge : T * T -> T = Symtab.join (K Item_Net.merge);
     1.9  );
    1.10  
    1.11  fun new_entry name =