| Tue, 22 Jan 2019 10:50:35 +0000 |
paulson |
some renamings and a bit of new material
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 28 Dec 2018 10:29:59 +0100 |
nipkow |
tuned style and headers
|
file |
diff |
annotate
|
| 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
|