diff -r 776de457f214 -r 3d6aab74a184 NEWS
--- a/NEWS	Wed Feb 25 07:42:20 2009 +0100
+++ b/NEWS	Wed Feb 25 10:24:58 2009 +0100
@@ -383,6 +383,7 @@
 zdvd_triv_left         -> dvd_triv_left
 zdvd_triv_right        -> dvd_triv_right
 zdvd_zmult_cancel_disj -> dvd_mult_cancel_left
+zmod_eq0_zdvd_iff      -> dvd_eq_mod_eq_0[symmetric]
 zmod_zadd_left_eq      -> mod_add_left_eq
 zmod_zadd_right_eq     -> mod_add_right_eq
 zmod_zadd_self1        -> mod_add_self1