| changeset 78937 | 5e6b195eee83 |
| parent 78935 | 5e788ff7a489 |
| child 78949 | 2d1275c7db99 |
--- a/NEWS Thu Nov 09 15:11:51 2023 +0000 +++ b/NEWS Thu Nov 09 15:11:52 2023 +0000 @@ -18,6 +18,11 @@ * Explicit type class for discrete_linear_ordered_semidom for integral semidomains with a discrete linear order. +* Type class linordered_euclidean_semiring replaces the (rather technical) + type class unique_euclidean_semiring_with_nat; type class + unique_euclidean_ring_with_nat, which barely admits instances other than + isomorphic to int, is discontinued. Minor INCOMPATIBILITY. + *** ML ***