--- a/NEWS Sun Oct 16 09:31:05 2016 +0200
+++ b/NEWS Sun Oct 16 09:31:06 2016 +0200
@@ -272,6 +272,11 @@
minus_mod_eq_div2 ~> minus_mod_eq_mult_div
div_mod_equality' ~> minus_mod_eq_div_mult [symmetric]
mod_div_equality' ~> minus_div_mult_eq_mod [symmetric]
+ zmod_zdiv_equality ~> mult_div_mod_eq [symmetric]
+ zmod_zdiv_equality' ~> minus_div_mult_eq_mod [symmetric]
+ Divides.mult_div_cancel ~> minus_mod_eq_mult_div [symmetric]
+ mult_div_cancel ~> minus_mod_eq_mult_div [symmetric]
+ zmult_div_cancel ~> minus_mod_eq_mult_div [symmetric]
div_1 ~> div_by_Suc_0
mod_1 ~> mod_by_Suc_0
INCOMPATIBILITY.