src/HOL/Multivariate_Analysis/measurable.ML
2016-08-05 hoelzl 2016-08-05 move measure theory from HOL-Probability to HOL-Multivariate_Analysis