NEWS

--- a/NEWS	Mon Dec 23 14:24:22 2013 +0100
+++ b/NEWS	Mon Dec 23 16:16:36 2013 +0100
@@ -28,8 +28,11 @@
 
 *** HOL ***
 
+* Word library: bit representations prefer type bool over type bit.
+INCOMPATIBILITY.
+
 * Theorem disambiguation Inf_le_Sup (on finite sets) ~> Inf_fin_le_Sup_fin.
-INCOMPATBILITY.
+INCOMPATIBILITY.
 
 * Code generations are provided for make, fields, extend and truncate
 operations on records.