--- a/src/HOL/Number_Theory/Primes.thy Wed Jun 02 16:24:14 2010 +0200
+++ b/src/HOL/Number_Theory/Primes.thy Wed Jun 02 16:24:14 2010 +0200
@@ -28,7 +28,7 @@
header {* Primes *}
theory Primes
-imports GCD
+imports "~~/src/HOL/GCD"
begin
declare One_nat_def [simp del]