--- a/NEWS Wed Aug 05 17:19:35 2020 +0200
+++ b/NEWS Wed Aug 05 19:06:39 2020 +0200
@@ -63,6 +63,11 @@
* Session HOL-Word: Type word is restricted to bit strings consisting
of at least one bit. INCOMPATIBILITY.
+* Session HOL-Word: Various operations dealing with bit values
+represented as reversed lists of bools are separated into theory
+Reversed_Bit_Lists, included by theory More_Word rather than theory Word.
+INCOMPATIBILITY.
+
* Session HOL-Word: Bit operations NOT, AND, OR, XOR are based on
generic algebraic bit operations from HOL-Library.Bit_Operations.
INCOMPATIBILITY.