--- a/NEWS Sun Jan 14 20:55:58 2024 +0100
+++ b/NEWS Sun Jan 14 20:02:55 2024 +0000
@@ -32,6 +32,8 @@
* Streamlined specification of type class (semi)ring_parity. Minor
INCOMPATIBILITY.
+* Lemma even_succ_div_2 renamed to even_half_succ_eq. Minor INCOMPATIBILITY.
+
*** ML ***