--- a/src/HOL/Library/GCD.thy Mon Dec 17 18:01:51 2007 +0100
+++ b/src/HOL/Library/GCD.thy Mon Dec 17 18:11:21 2007 +0100
@@ -7,7 +7,7 @@
header {* The Greatest Common Divisor *}
theory GCD
-imports PreList
+imports ATP_Linkup
begin
text {*
--- a/src/HOL/Library/Infinite_Set.thy Mon Dec 17 18:01:51 2007 +0100
+++ b/src/HOL/Library/Infinite_Set.thy Mon Dec 17 18:11:21 2007 +0100
@@ -6,7 +6,7 @@
header {* Infinite Sets and Related Concepts *}
theory Infinite_Set
-imports PreList Hilbert_Choice
+imports ATP_Linkup
begin
subsection "Infinite Sets"