src/HOL/Library/Infinite_Set.thy

--- a/src/HOL/Library/Infinite_Set.thy	Wed Nov 08 22:24:54 2006 +0100
+++ b/src/HOL/Library/Infinite_Set.thy	Wed Nov 08 23:11:13 2006 +0100
@@ -6,7 +6,7 @@
 header {* Infinite Sets and Related Concepts *}
 
 theory Infinite_Set
-imports Hilbert_Choice Binomial
+imports Main
 begin
 
 subsection "Infinite Sets"