--- a/NEWS Fri Jun 24 10:49:40 2022 +0200
+++ b/NEWS Fri Jun 24 21:17:35 2022 +0200
@@ -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.