--- a/src/HOL/Set.ML Wed Feb 03 13:23:24 1999 +0100
+++ b/src/HOL/Set.ML Wed Feb 03 13:26:07 1999 +0100
@@ -6,8 +6,6 @@
Set theory for higher-order logic. A set is simply a predicate.
*)
-open Set;
-
section "Relating predicates and sets";
Addsimps [Collect_mem_eq];