NEWS
changeset 79118 486a32079c60
parent 79059 ae682b2aab03
child 79488 62d8c6c08fb2
--- a/NEWS	Sat Dec 02 20:49:49 2023 +0000
+++ b/NEWS	Sat Dec 02 20:49:50 2023 +0000
@@ -29,6 +29,9 @@
   unique_euclidean_semiring_with_bit_operations is renamed
   to linordered_euclidean_semiring_bit_operations.  Minor INCOMPATIBILITY.
 
+* Streamlined specification of type class (semi)ring_parity.  Minor
+  INCOMPATIBILITY.
+
 
 *** ML ***