src/HOL/Probability/Weak_Convergence.thy
2016-02-09 hoelzl 2016-02-09 add extended nonnegative real numbers
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem