src/HOL/Set.ML
changeset 6171 cd237a10cbf8
parent 6006 d2e271b8d651
child 6291 2c3f72d9f5d1
     1.1 --- a/src/HOL/Set.ML	Wed Feb 03 13:23:24 1999 +0100
     1.2 +++ b/src/HOL/Set.ML	Wed Feb 03 13:26:07 1999 +0100
     1.3 @@ -6,8 +6,6 @@
     1.4  Set theory for higher-order logic.  A set is simply a predicate.
     1.5  *)
     1.6  
     1.7 -open Set;
     1.8 -
     1.9  section "Relating predicates and sets";
    1.10  
    1.11  Addsimps [Collect_mem_eq];