src/HOL/Library/Primes.thy

--- a/src/HOL/Library/Primes.thy	Fri Mar 27 10:05:08 2009 +0100
+++ b/src/HOL/Library/Primes.thy	Fri Mar 27 10:05:11 2009 +0100
@@ -6,7 +6,7 @@
 header {* Primality on nat *}
 
 theory Primes
-imports Plain "~~/src/HOL/ATP_Linkup" "~~/src/HOL/GCD" "~~/src/HOL/Parity"
+imports Complex_Main
 begin
 
 definition