diff -r 47272fac86d8 -r 62d8c6c08fb2 NEWS
--- 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 ***