Removed theorems from default simpset

--- a/src/HOL/Library/Primes.thy	Wed Feb 27 14:39:52 2008 +0100
+++ b/src/HOL/Library/Primes.thy	Wed Feb 27 14:39:54 2008 +0100
@@ -1043,4 +1043,6 @@
 lemma coprime_divisors: "d dvd a \<Longrightarrow> e dvd b \<Longrightarrow> coprime a b \<Longrightarrow> coprime d e"
   by (auto simp add: dvd_def coprime)
 
+declare power_Suc0[simp del]
+declare even_dvd[simp del]
 end