src/CCL/subset.ML

--- a/src/CCL/subset.ML	Mon Sep 09 11:08:01 1996 +0200
+++ b/src/CCL/subset.ML	Mon Sep 09 17:33:23 1996 +0200
@@ -119,4 +119,6 @@
 
 val set_congs = [ball_cong, bex_cong, INT_cong, UN_cong];
 
-val set_ss = FOL_ss addcongs set_congs addsimps mem_rews;
+val set_ss = FOL_ss addcongs set_congs
+                    delsimps (ex_simps @ all_simps)  (*NO miniscoping*)
+		    addsimps mem_rews;