--- a/src/HOL/Library/Primes.thy Wed Nov 08 22:24:54 2006 +0100 +++ b/src/HOL/Library/Primes.thy Wed Nov 08 23:11:13 2006 +0100 @@ -7,7 +7,7 @@ header {* Primality on nat *} theory Primes -imports Main +imports GCD begin definition