src/HOL/Probability/Set_Integral.thy
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-28 wenzelm 2015-12-28 more symbols;
2015-12-17 hoelzl 2015-12-17 moved some theorems from the CLT proof; reordered some theorems / notation
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-06-30 paulson 2015-06-30 Useful lemmas. The theorem concerning swapping the variables in a double integral.
2015-03-31 haftmann 2015-03-31 given up separate type classes demanding `inverse 0 = 0`
2015-01-14 Andreas Lochbihler 2015-01-14 more line breaks in integral notation
2014-12-05 hoelzl 2014-12-05 add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav