--- a/src/HOL/Groebner_Basis.thy Sun May 06 18:20:25 2018 +0000
+++ b/src/HOL/Groebner_Basis.thy Sun May 06 18:20:25 2018 +0000
@@ -78,7 +78,7 @@
context semiring_parity
begin
-declare even_times_iff [algebra]
+declare even_mult_iff [algebra]
declare even_power [algebra]
end