NEWS
changeset 64242 93c6f0da5c70
parent 64240 eabf80376aab
child 64243 aee949f6642d
     1.1 --- a/NEWS	Sun Oct 16 09:31:04 2016 +0200
     1.2 +++ b/NEWS	Sun Oct 16 09:31:05 2016 +0200
     1.3 @@ -262,6 +262,14 @@
     1.4      div_mult_self2_is_id ~> nonzero_mult_div_cancel_right
     1.5      is_unit_divide_mult_cancel_left ~> is_unit_div_mult_cancel_left
     1.6      is_unit_divide_mult_cancel_right ~> is_unit_div_mult_cancel_right
     1.7 +    mod_div_equality ~> div_mult_mod_eq
     1.8 +    mod_div_equality2 ~> mult_div_mod_eq
     1.9 +    mod_div_equality3 ~> mod_div_mult_eq
    1.10 +    mod_div_equality4 ~> mod_mult_div_eq
    1.11 +    minus_div_eq_mod ~> minus_div_mult_eq_mod
    1.12 +    minus_div_eq_mod2 ~> minus_mult_div_eq_mod
    1.13 +    minus_mod_eq_div ~> minus_mod_eq_div_mult
    1.14 +    minus_mod_eq_div2 ~> minus_mod_eq_mult_div
    1.15  INCOMPATIBILITY.
    1.16  
    1.17  * Dedicated syntax LENGTH('a) for length of types.