--- a/src/HOL/Main.thy Tue Dec 07 16:15:44 2004 +0100
+++ b/src/HOL/Main.thy Tue Dec 07 16:16:10 2004 +0100
@@ -6,7 +6,7 @@
header {* Main HOL *}
theory Main
- imports Map Infinite_Set Extraction Refute Reconstruction
+ imports Extraction Refute Reconstruction
begin