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