src/HOL/Library/GCD.thy

--- 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 {*