NEWS
changeset 64876 65a247444100
parent 64867 e7220f4de11f
child 64898 49aa13b1b592
     1.1 --- a/NEWS	Wed Jan 11 16:28:48 2017 +0100
     1.2 +++ b/NEWS	Wed Jan 11 16:43:31 2017 +0100
     1.3 @@ -58,6 +58,8 @@
     1.4  mod_diff_eq.  INCOMPATIBILITY.
     1.5  
     1.6  * Generalized some facts:
     1.7 +    measure_induct_rule
     1.8 +    measure_induct
     1.9      zminus_zmod ~> mod_minus_eq
    1.10      zdiff_zmod_left ~> mod_diff_left_eq
    1.11      zdiff_zmod_right ~> mod_diff_right_eq