ANNOUNCE

--- a/ANNOUNCE	Fri Sep 08 02:22:58 2017 +0200
+++ b/ANNOUNCE	Fri Sep 08 11:09:56 2017 +0200
@@ -21,6 +21,8 @@
 * More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
 (ported from HOL-Light).
 
+* Improved Nunchaku model finder, now in main HOL.
+
 * SQL database support in Isabelle/Scala.