tuned;

--- 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