| changeset 30200 | 0db3a35eab01 |
| parent 30198 | 922f944f03b2 |
| child 30224 | 79136ce06bdb |
--- a/NEWS Mon Mar 02 16:54:13 2009 +0100 +++ b/NEWS Mon Mar 02 17:26:23 2009 +0100 @@ -398,6 +398,7 @@ zmod_zadd_right_eq -> mod_add_right_eq zmod_zadd_self1 -> mod_add_self1 zmod_zadd_self2 -> mod_add_self2 +zmod_zadd1_eq -> mod_add1_eq zmod_zdiff1_eq -> mod_diff_eq zmod_zdvd_zmod -> mod_mod_cancel zmod_zmod_cancel -> mod_mod_cancel