NEWS

--- a/NEWS	Wed Jul 29 14:23:19 2020 +0200
+++ b/NEWS	Sat Aug 01 17:43:30 2020 +0000
@@ -67,6 +67,9 @@
 generic algebraic bit operations from HOL-Library.Bit_Operations.
 INCOMPATIBILITY.
 
+* Session HOL-Word: Most operations on type word are set up
+for transfer and lifting.  INCOMPATIBILITY.
+
 * Session HOL-Word: Theory "Word_Bitwise" has been moved to AFP entry
 Word_Lib as theory "Bitwise".  INCOMPATIBILITY.