TFL/tfl.sml

--- a/TFL/tfl.sml	Thu Aug 31 01:42:23 2000 +0200
+++ b/TFL/tfl.sml	Thu Aug 31 09:23:01 2000 +0200
@@ -1045,3 +1045,6 @@
 end;
 
 end; (* TFL *)
+
+val Add_recdef_congs = Prim.Add_recdef_congs;
+val Del_recdef_congs = Prim.Del_recdef_congs;