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