--- a/NEWS Tue Apr 16 19:50:18 2019 +0000
+++ b/NEWS Tue Apr 16 19:50:19 2019 +0000
@@ -285,6 +285,10 @@
* SMT: reconstruction is now possible using the SMT solver veriT.
+* Session HOL-Word:
+ * New theory More_Word as comprehensive entrance point.
+ INCOMPATIBILITY.
+
*** ML ***