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