src/HOL/Analysis/Borel_Space.thy
3 months ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
4 months ago immler 2019-01-28 less odd class.second_countable_topology_def
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-22 minor tagging updates in 13 theories
5 months ago immler 2019-01-17 subsection is always %important
5 months ago Angeliki KoutsoukouArgyraki 2019-01-14 updated tagging first 5
5 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
5 months ago wenzelm 2019-01-01 more antiquotations -- less LaTeX macros;
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 paulson 2018-09-20 removal of more redundancies, and fixes
9 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
11 months ago paulson 2018-07-15 fixes and more de-applying
16 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
24 months ago 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.