--- a/NEWS Mon Sep 14 21:39:24 2015 +0200
+++ b/NEWS Tue Sep 15 11:18:25 2015 +0200
@@ -310,6 +310,8 @@
* Imperative_HOL: obsolete theory Legacy_Mrec has been removed.
+* Library/Omega_Words_Fun: Infinite words modeled as functions nat => 'a.
+
*** ML ***