src/HOL/Probability/measurable.ML
2014-04-09 wenzelm 2014-04-09 proper context for print_tac;
2013-12-31 wenzelm 2013-12-31 proper context for norm_hhf and derived operations; clarified tool context in some boundary cases;
2013-08-16 wenzelm 2013-08-16 more standard attribute_setup / method_setup -- export key ML operations instead of parsers;
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