src/HOL/Analysis/Radon_Nikodym.thy
4 months ago nipkow 2019-01-28 more canonical and less specialized syntax
4 months ago nipkow 2019-01-25 tuned
4 months ago Angeliki KoutsoukouArgyraki 2019-01-24 tagged 5 theories
5 months ago immler 2019-01-17 subsection is always %important
5 months ago nipkow 2018-12-28 tuned style and headers
7 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
8 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
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.