NEWS
changeset 47672 1bf4fa90cd03
parent 47659 e3c4d1b0b351
child 47673 dd253cfa5b23
     1.1 --- a/NEWS	Sun Apr 22 14:16:46 2012 +0200
     1.2 +++ b/NEWS	Sun Apr 22 14:16:46 2012 +0200
     1.3 @@ -5275,7 +5275,7 @@
     1.4  * HOL/Nat: neq0_conv no longer declared as iff.  INCOMPATIBILITY.
     1.5  
     1.6  * HOL-Word: New extensive library and type for generic, fixed size
     1.7 -machine words, with arithemtic, bit-wise, shifting and rotating
     1.8 +machine words, with arithmetic, bit-wise, shifting and rotating
     1.9  operations, reflection into int, nat, and bool lists, automation for
    1.10  linear arithmetic (by automatic reflection into nat or int), including
    1.11  lemmas on overflow and monotonicity.  Instantiated to all appropriate