--- a/NEWS Fri Aug 20 17:57:57 2021 +0200
+++ b/NEWS Sat Aug 21 20:12:15 2021 +0000
@@ -206,6 +206,10 @@
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.