# HG changeset patch
# User wenzelm
# Date 1609074256 -3600
# Node ID 56eae6d161dba2f9c06b90b92f902f18862a1c2a
# Parent  dacf2598bb2744c394bdb59afc7c668bf956ca53
tuned;

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