--- a/src/HOL/Library/Primes.thy Mon Dec 10 11:24:06 2007 +0100 +++ b/src/HOL/Library/Primes.thy Mon Dec 10 11:24:08 2007 +0100 @@ -7,7 +7,7 @@ header {* Primality on nat *} theory Primes -imports GCD +imports GCD ATP_Linkup begin definition