--- a/NEWS Fri Oct 08 10:57:05 2021 +0200
+++ b/NEWS Sat Oct 09 16:41:21 2021 +0000
@@ -182,10 +182,6 @@
in classes (semi)ring_bit_operations, class semiring_bit_shifts is
gone.
-* Expressions of the form "NOT (numeral _)" are not simplified by
-default any longer. INCOMPATIBILITY, use not_one_eq and not_numeral_eq
-as simp rule explicitly if needed.
-
* Abbreviation "max_word" has been moved to session Word_Lib in the AFP,
as also have constants "shiftl1", "shiftr1", "sshiftr1", "bshiftr1",
"setBit", "clearBit". See there further the changelog in theory Guide.