4 months ago paulson 2019-01-22 some renamings and a bit of new material
5 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
5 months ago nipkow 2018-12-28 tuned style and headers
11 months ago Manuel Eberl 2018-07-17 tagged
14 months ago paulson 2018-04-11 replacement of set integral abbreviations by actual definitions!
18 months ago paulson 2017-12-22 new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
18 months ago Manuel Eberl 2017-12-12 Moved analysis material from AFP
21 months ago eberlm 2017-08-31 Connecting PMFs to infinite sums
21 months ago eberlm 2017-08-26 More material on infinite sums
22 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums