--- a/NEWS Sat Jul 11 06:21:02 2020 +0000
+++ b/NEWS Sat Jul 11 06:21:04 2020 +0000
@@ -75,10 +75,10 @@
into its components "drop_bit" and "take_bit". INCOMPATIBILITY.
* Session HOL-Word: Operations "bin_last", "bin_rest", "bin_nth",
-"bintrunc" and "max_word" are now mere input abbreviations.
+"bintrunc", "sbintrunc" and "max_word" are now mere input abbreviations.
Minor INCOMPATIBILITY.
-* Session HOL-Word: Theory Z2 is not used any longer.
+* Session HOL-Word: Theory HOL-Library.Z2 is not imported any longer.
Minor INCOMPATIBILITY.
* Session HOL-Word: Operations lsb, msb and set_bit are separated