summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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.