changeset 46732 ac701d7f7c3b
parent 46641 8801a24f9e9a
child 46752 e9e7209eb375
--- 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