diff -r 614ef6d7a6b6 -r 7582b39f51ed NEWS
--- a/NEWS	Wed Jan 06 13:04:31 2016 +0100
+++ b/NEWS	Wed Jan 06 12:18:53 2016 +0100
@@ -660,6 +660,9 @@
 Gamma/log-Gamma/Digamma/ Polygamma functions and their most important
 properties.
 
+* Probability: The central limit theorem based on Levy's uniqueness and
+continuity theorems, weak convergence, and characterisitc functions.
+
 * Data_Structures: new and growing session of standard data structures.
 
 * Imperative_HOL: obsolete theory Legacy_Mrec has been removed.