# HG changeset patch
# User haftmann
# Date 1604475557 0
# Node ID 58b1826354c970a9e87cae5757ef4b6fd40d0e57
# Parent  55a50f65c928f4246f4a7a0db1b8d3fa98aa2c97
NEWS and CONTRIBUTORS

diff -r 55a50f65c928 -r 58b1826354c9 NEWS
--- a/NEWS	Tue Nov 03 12:57:18 2020 +0100
+++ b/NEWS	Wed Nov 04 07:39:17 2020 +0000
@@ -147,8 +147,9 @@
 INCOMPATIBILITY.
 
 * Former session "HOL-Word": Operations lsb, msb and set_bit are
-separated into theories Misc_lsb, Misc_msb and Misc_set_bit respectively
-in session Word_Lib in the AFP.  INCOMPATIBILITY.
+separated into theories Least_significant_bit, Most_significant_bit and
+Generic_set_bit respectively in session Word_Lib in the AFP.
+INCOMPATIBILITY.
 
 * Former session "HOL-Word": Ancient int numeral representation has been
 factored out in separate theory "Ancient_Numeral" in session Word_Lib