| changeset 72281 | beeadb35e357 |
| parent 72264 | 47253b1a31ed |
| child 72292 | 4a58c38b85ff |
--- a/NEWS Wed Sep 23 08:52:41 2020 +0000 +++ b/NEWS Wed Sep 23 11:14:38 2020 +0000 @@ -78,6 +78,9 @@ * Library theory "Bit_Operations" with generic bit operations. +* Library theory "Signed_Division" provides operations for signed +division, instantiated for type int. + * Session HOL-Word: Type word is restricted to bit strings consisting of at least one bit. INCOMPATIBILITY.