# HG changeset patch
# User haftmann
# Date 1387811796 -3600
# Node ID 980817309b781ebf25a0179e8fd6b1f24a7f70b4
# Parent  d325c7c4a4f7c62f412b2cd7c78d4e1dda6119e1
NEWS

diff -r d325c7c4a4f7 -r 980817309b78 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.