1.1 --- a/NEWS	Tue Mar 27 16:04:51 2012 +0200
     1.2 +++ b/NEWS	Tue Mar 27 19:21:05 2012 +0200
     1.3 @@ -144,6 +144,8 @@
     1.4    zmod_self ~> mod_self
     1.5    zdiv_zero ~> div_0
     1.6    zmod_zero ~> mod_0
     1.7 +  zdiv_zmod_equality ~> div_mod_equality2
     1.8 +  zdiv_zmod_equality2 ~> div_mod_equality
     1.9    zmod_zdiv_trivial ~> mod_div_trivial
    1.10    zdiv_zminus_zminus ~> div_minus_minus
    1.11    zmod_zminus_zminus ~> mod_minus_minus