NEWS

--- a/NEWS	Thu Jun 18 09:07:29 2020 +0000
+++ b/NEWS	Thu Jun 18 09:07:29 2020 +0000
@@ -51,6 +51,9 @@
 * Session HOL-Word: Operation "bin_last" is now a mere input
 abbreviation.  Minor INCOMPATIBILITY.
 
+* Session HOL-Word: Compound operation "bin_split" simplifies by default
+into its components "drop_bit" and "take_bit".  Minor INCOMPATIBILITY.
+
 
 *** FOL ***