src/HOL/Probability/Characteristic_Functions.thy
2016-09-16 hoelzl 2016-09-16 move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
2016-08-05 hoelzl 2016-08-05 move measure theory from HOL-Probability to HOL-Multivariate_Analysis
2016-08-02 wenzelm 2016-08-02 more symbols;
2016-06-14 hoelzl 2016-06-14 Probability: tuned headers; cleanup Radon_Nikodym
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem