NEWS
changeset 62083 7582b39f51ed
parent 62080 73fde830ddae
child 62084 969119292e25
     1.1 --- a/NEWS	Wed Jan 06 13:04:31 2016 +0100
     1.2 +++ b/NEWS	Wed Jan 06 12:18:53 2016 +0100
     1.3 @@ -660,6 +660,9 @@
     1.4  Gamma/log-Gamma/Digamma/ Polygamma functions and their most important
     1.5  properties.
     1.6  
     1.7 +* Probability: The central limit theorem based on Levy's uniqueness and
     1.8 +continuity theorems, weak convergence, and characterisitc functions.
     1.9 +
    1.10  * Data_Structures: new and growing session of standard data structures.
    1.11  
    1.12  * Imperative_HOL: obsolete theory Legacy_Mrec has been removed.