diff -r 0162a0d284ac -r ac701d7f7c3b NEWS
--- a/NEWS	Tue Feb 28 14:24:37 2012 +0100
+++ b/NEWS	Tue Feb 28 15:54:51 2012 +0100
@@ -4776,7 +4776,7 @@
 * HOL/Nat: neq0_conv no longer declared as iff.  INCOMPATIBILITY.
 
 * HOL-Word: New extensive library and type for generic, fixed size
-machine words, with arithemtic, bit-wise, shifting and rotating
+machine words, with arithmetic, bit-wise, shifting and rotating
 operations, reflection into int, nat, and bool lists, automation for
 linear arithmetic (by automatic reflection into nat or int), including
 lemmas on overflow and monotonicity.  Instantiated to all appropriate