TFL/tfl.sml

 in
   {induction = ind2, rules = R.LIST_CONJ rules2, nested_tcs = extras}
 end;
 
 end; (* TFL *)
+
+val Add_recdef_congs = Prim.Add_recdef_congs;
+val Del_recdef_congs = Prim.Del_recdef_congs;