src/HOL/Probability/measurable.ML
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2012-12-05 hoelzl 2012-12-05 Move the measurability prover to its own file