--- a/NEWS Thu Jun 18 09:07:29 2020 +0000
+++ b/NEWS Thu Jun 18 09:07:29 2020 +0000
@@ -48,11 +48,12 @@
* For the natural numbers, Sup {} = 0.
-* Session HOL-Word: Operations "bin_last", "bin_rest", "bintrunc"
-and "max_word" are now mere input abbreviations. 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". Minor INCOMPATIBILITY.
+into its components "drop_bit" and "take_bit". INCOMPATIBILITY.
*** FOL ***