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