--- 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: Operations "bin_last", "bin_rest" and "max_word"
-are now mere input abbreviations. INCOMPATIBILITY.
+* Session HOL-Word: Operations "bin_last", "bin_rest", "bintrunc"
+and "max_word" 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.