| changeset 70342 | e4d626692640 |
| parent 70337 | 48609a6af1a0 |
| child 70347 | e5cd5471c18a |
--- a/NEWS Fri Jun 14 08:34:27 2019 +0000 +++ b/NEWS Fri Jun 14 08:34:27 2019 +0000 @@ -14,6 +14,9 @@ * ASCII membership syntax concerning big operators for infimum and supremum is gone. INCOMPATIBILITY. +* Clear distinction between types for bits (False / True) and +Z2 (0 / 1): theory HOL/Library/Bit.thy has been renamed accordingly. +INCOMPATIBILITY. New in Isabelle2019 (June 2019)