src/HOL/GCD.thy

--- a/src/HOL/GCD.thy	Wed Aug 26 16:41:37 2009 +0200
+++ b/src/HOL/GCD.thy	Wed Aug 26 19:54:01 2009 +0200
@@ -1895,8 +1895,6 @@
 
 lemmas prime_int_simp_number_of[simp] = prime_int_simp[of "number_of m", standard]
 
-declare successor_int_def[simp]
-
 lemma two_is_prime_nat [simp]: "prime (2::nat)"
 by simp