--- a/src/ZF/Zorn.ML Mon Dec 28 16:58:11 1998 +0100
+++ b/src/ZF/Zorn.ML Mon Dec 28 16:59:28 1998 +0100
@@ -9,8 +9,6 @@
Classical Theorems of Set Theory.
*)
-open Zorn;
-
(*** Section 1. Mathematical Preamble ***)
Goal "(ALL x:C. x<=A | B<=x) ==> Union(C)<=A | B<=Union(C)";