diff -r e60a230da179 -r a4abf41134e2 src/CCL/CCL.ML
--- a/src/CCL/CCL.ML	Mon Sep 09 11:08:01 1996 +0200
+++ b/src/CCL/CCL.ML	Mon Sep 09 17:33:23 1996 +0200
@@ -10,8 +10,7 @@
 
 val ccl_data_defs = [apply_def,fix_def];
 
-val CCL_ss = FOL_ss addcongs set_congs
-                    addsimps  ([po_refl RS P_iff_T] @ mem_rews);
+val CCL_ss = set_ss addsimps [po_refl RS P_iff_T];
 
 (*** Congruence Rules ***)