src/HOL/Probability/Set_Integral.thy
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