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 ***