| changeset 78935 | 5e788ff7a489 |
| parent 78832 | c62003e05e46 |
| child 78937 | 5e6b195eee83 |
--- a/NEWS Thu Nov 09 19:06:50 2023 +0100 +++ b/NEWS Thu Nov 09 15:11:51 2023 +0000 @@ -15,6 +15,9 @@ by Sledgehammer and should be used instead. For more information, see Sledgehammer's documentation relating to "preplay_timeout". INCOMPATIBILITY. +* Explicit type class for discrete_linear_ordered_semidom for integral + semidomains with a discrete linear order. + *** ML ***