--- a/src/HOL/Library/Zorn.thy Thu Nov 21 21:33:34 2013 +0100
+++ b/src/HOL/Library/Zorn.thy Thu Nov 21 21:33:34 2013 +0100
@@ -10,7 +10,7 @@
header {* Zorn's Lemma *}
theory Zorn
-imports Order_Relation
+imports Main
begin
subsection {* Zorn's Lemma for the Subset Relation *}