src/HOL/Analysis/Infinite_Set_Sum.thy
6 months ago nipkow 2018-12-28 tuned style and headers
12 months ago Manuel Eberl 2018-07-17 tagged
15 months ago paulson 2018-04-11 replacement of set integral abbreviations by actual definitions!
19 months ago paulson 2017-12-22 new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
19 months ago Manuel Eberl 2017-12-12 Moved analysis material from AFP
23 months ago eberlm 2017-08-31 Connecting PMFs to infinite sums
23 months ago eberlm 2017-08-26 More material on infinite sums
23 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums