# HG changeset patch
# User blanchet
# Date 1330440891 -3600
# Node ID ac701d7f7c3b4d1af0a6b8a9278a1b6a05f97c40
# Parent  0162a0d284ac1598ba8b7f4e30d90260023438e7
spelling

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