src/ZF/Zorn.thy

--- a/src/ZF/Zorn.thy	Mon Feb 11 15:19:17 2008 +0100
+++ b/src/ZF/Zorn.thy	Mon Feb 11 15:40:21 2008 +0100
@@ -7,7 +7,7 @@
 
 header{*Zorn's Lemma*}
 
-theory Zorn imports OrderArith AC Inductive begin
+theory Zorn imports OrderArith AC Inductive_ZF begin
 
 text{*Based upon the unpublished article ``Towards the Mechanization of the
 Proofs of Some Classical Theorems of Set Theory,'' by Abrial and Laffitte.*}