src/HOL/Probability/Embed_Measure.thy
2015-04-14 Andreas Lochbihler 2015-04-14 generalise lemmas; add version of monotone convergence for countable integrals
2014-12-05 hoelzl 2014-12-05 add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav