--- a/src/HOL/Hahn_Banach/Zorn_Lemma.thy Sun Sep 11 21:35:35 2011 +0200
+++ b/src/HOL/Hahn_Banach/Zorn_Lemma.thy Sun Sep 11 22:55:26 2011 +0200
@@ -5,7 +5,7 @@
header {* Zorn's Lemma *}
theory Zorn_Lemma
-imports Zorn
+imports "~~/src/HOL/Library/Zorn"
begin
text {*