diff -r 7582b39f51ed -r 969119292e25 ANNOUNCE
--- 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).