NEWS
changeset 58678 398e05aa84d4
parent 58649 a62065b5e1e2
child 58704 92f935f34b28
     1.1 --- a/NEWS	Tue Oct 14 16:19:42 2014 +0200
     1.2 +++ b/NEWS	Tue Oct 14 08:23:23 2014 +0200
     1.3 @@ -50,6 +50,7 @@
     1.4  
     1.5  * More foundational definition for predicate "even":
     1.6    even_def ~> even_iff_mod_2_eq_zero
     1.7 +  even_iff_2_dvd ~> even_def
     1.8  Minor INCOMPATIBILITY.
     1.9  
    1.10  * Lemma name consolidation: divide_Numeral1 ~> divide_numeral_1