src/HOL/Analysis/Borel_Space.thy
6 months ago nipkow 2018-12-28 tuned style and headers
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
10 months ago paulson 2018-09-20 removal of more redundancies, and fixes
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
12 months ago paulson 2018-07-15 fixes and more de-applying
17 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
19 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
2017-06-22 paulson 2017-06-22 New theorems and much tidying up of the old ones
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models
2016-10-18 paulson 2016-10-18 more from moretop.ml
2016-10-18 hoelzl 2016-10-18 HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
2016-10-13 hoelzl 2016-10-13 HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-30 hoelzl 2016-09-30 HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-09-28 paulson 2016-09-28 new material connected with HOL Light measure theory, plus more rationalisation
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.