changeset 62083 | 7582b39f51ed |
parent 62080 | 73fde830ddae |
child 62084 | 969119292e25 |
--- 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.