diff -r a9f913d17d00 -r a4bffc0de967 NEWS
--- a/NEWS	Thu Jun 18 09:07:30 2020 +0000
+++ b/NEWS	Thu Jun 18 09:07:30 2020 +0000
@@ -48,13 +48,18 @@
 
 * For the natural numbers, Sup {} = 0.
 
+* Library theory "Bit_Operations" with generic bit operations.
+
+* Session HOL-Word: Bit operations are based on library
+theory "Bit_Operations".  INCOMPATIBILITY.
+
+* Session HOL-Word: Compound operation "bin_split" simplifies by default
+into its components "drop_bit" and "take_bit".  INCOMPATIBILITY.
+
 * Session HOL-Word: Operations "bin_last", "bin_rest", "bin_nth",
 "bintrunc" and "max_word" are now mere input abbreviations.
 Minor INCOMPATIBILITY.
 
-* Session HOL-Word: Compound operation "bin_split" simplifies by default
-into its components "drop_bit" and "take_bit".  INCOMPATIBILITY.
-
 
 *** FOL ***