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