| changeset 58770 | ae5e9b4f8daf |
| parent 58759 | e55fe82f3803 |
| child 58775 | 9cd64a66a765 |
--- a/NEWS Thu Oct 23 14:04:05 2014 +0200 +++ b/NEWS Thu Oct 23 14:04:05 2014 +0200 @@ -55,7 +55,8 @@ dvd_plus_eq_left ~> dvd_add_left_iff Minor INCOMPATIBILITY. -* "even" and "odd" are mere abbreviations for "2 dvd _" and "~ 2 dvd _". +* "even" and "odd" are mere abbreviations for "2 dvd _" and "~ 2 dvd _" +and part of HOL-Main. even_def ~> even_iff_mod_2_eq_zero INCOMPATIBILITY.