changeset 64244 | e7102c40783c |
parent 64243 | aee949f6642d |
child 64246 | 15d1ee6e847b |
--- a/NEWS Sun Oct 16 09:31:05 2016 +0200 +++ b/NEWS Sun Oct 16 09:31:05 2016 +0200 @@ -272,6 +272,8 @@ minus_mod_eq_div2 ~> minus_mod_eq_mult_div div_mod_equality' ~> minus_mod_eq_div_mult [symmetric] mod_div_equality' ~> minus_div_mult_eq_mod [symmetric] + div_1 ~> div_by_Suc_0 + mod_1 ~> mod_by_Suc_0 INCOMPATIBILITY. * Dedicated syntax LENGTH('a) for length of types.