--- a/NEWS Sun Jul 12 18:10:06 2020 +0000
+++ b/NEWS Mon Jul 13 15:23:32 2020 +0000
@@ -75,8 +75,8 @@
into its components "drop_bit" and "take_bit". INCOMPATIBILITY.
* Session HOL-Word: Operations "bin_last", "bin_rest", "bin_nth",
-"bintrunc", "sbintrunc" and "max_word" are now mere input abbreviations.
-Minor INCOMPATIBILITY.
+"bintrunc", "sbintrunc", "bin_cat" and "max_word" are now mere
+input abbreviations. Minor INCOMPATIBILITY.
* Session HOL-Word: Theory HOL-Library.Z2 is not imported any longer.
Minor INCOMPATIBILITY.