diff -r d64fa2ca54b8 -r 978c00c20a59 NEWS
--- a/NEWS	Tue Mar 27 14:49:56 2012 +0200
+++ b/NEWS	Tue Mar 27 15:27:49 2012 +0200
@@ -145,6 +145,12 @@
   zdiv_zero ~> div_0
   zmod_zero ~> mod_0
   zmod_zdiv_trivial ~> mod_div_trivial
+  zdiv_zminus_zminus ~> div_minus_minus
+  zmod_zminus_zminus ~> mod_minus_minus
+  zdiv_zminus2 ~> div_minus_right
+  zmod_zminus2 ~> mod_minus_right
+  mod_mult_distrib ~> mult_mod_left
+  mod_mult_distrib2 ~> mult_mod_right
 
 * More default pred/set conversions on a couple of relation operations
 and predicates.  Consolidation of some relation theorems: