--- a/src/HOL/Number_Theory/Cong.thy Wed Jun 02 16:24:14 2010 +0200
+++ b/src/HOL/Number_Theory/Cong.thy Wed Jun 02 16:24:14 2010 +0200
@@ -30,7 +30,7 @@
header {* Congruence *}
theory Cong
-imports GCD Primes
+imports Primes
begin
subsection {* Turn off One_nat_def *}