--- a/NEWS Wed Jun 22 08:15:10 2022 +0000
+++ b/NEWS Wed Jun 22 08:15:12 2022 +0000
@@ -34,6 +34,9 @@
*** HOL ***
+* Theory Char_ord: streamlined logical specifications.
+Minor INCOMPATIBILITY.
+
* Rule split_of_bool_asm is not split any longer, analogously to
split_if_asm. INCOMPATIBILITY.