--- a/ANNOUNCE Wed Jan 06 12:18:53 2016 +0100
+++ b/ANNOUNCE Wed Jan 06 16:17:50 2016 +0100
@@ -20,7 +20,8 @@
* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
-* Many HOL library improvements, notably HOL-Multivariate_Analysis.
+* HOL library additions and improvements, notably HOL-Multivariate_Analysis,
+HOL-Probability, HOL-Data_Structures.
* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
ML), per-thread profiling, native Windows version (32bit and 64bit).