Tue, 17 Jul 2018 12:23:37 +0200 | Manuel Eberl | tagged | file | diff | annotate |
Wed, 11 Apr 2018 16:34:44 +0100 | paulson | replacement of set integral abbreviations by actual definitions! | file | diff | annotate |
Fri, 22 Dec 2017 21:00:07 +0000 | paulson | new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product | file | diff | annotate |
Tue, 12 Dec 2017 10:01:14 +0100 | Manuel Eberl | Moved analysis material from AFP | file | diff | annotate |
Thu, 31 Aug 2017 17:48:20 +0200 | eberlm | Connecting PMFs to infinite sums | file | diff | annotate |
Sat, 26 Aug 2017 18:58:40 +0200 | eberlm | More material on infinite sums | file | diff | annotate |
Mon, 21 Aug 2017 20:49:15 +0200 | Manuel Eberl | HOL-Analysis: Convergent FPS and infinite sums | file | diff | annotate |