src/HOL/Analysis/Radon_Nikodym.thy
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-13 hoelzl 2016-10-13 HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.