NEWS

--- a/NEWS	Thu Jun 18 09:07:29 2020 +0000
+++ b/NEWS	Thu Jun 18 09:07:29 2020 +0000
@@ -48,8 +48,8 @@
 
 * For the natural numbers, Sup {} = 0.
 
-* Session HOL-Word: Operation "bin_last" is now a mere input
-abbreviation.  Minor INCOMPATIBILITY.
+* Session HOL-Word: Operations "bin_last" and "bin_rest" are now mere
+input abbreviations.  INCOMPATIBILITY.
 
 * Session HOL-Word: Compound operation "bin_split" simplifies by default
 into its components "drop_bit" and "take_bit".  Minor INCOMPATIBILITY.