diff -r dacf2598bb27 -r 56eae6d161db NEWS
--- a/NEWS Sun Dec 27 13:52:55 2020 +0100
+++ b/NEWS Sun Dec 27 14:04:16 2020 +0100
@@ -169,7 +169,7 @@
least one bit. INCOMPATIBILITY.
* Theory "Word": Bit operations NOT, AND, OR, XOR are based on generic
-algebraic bit operations from HOL-Library.Bit_Operations.
+algebraic bit operations from theory "HOL-Library.Bit_Operations".
INCOMPATIBILITY.
* Theory "Word": Most operations on type word are set up for transfer