| Thu, 21 Mar 2024 16:15:25 +0100 | wenzelm | proper bib entries (amending 82aaa0d8fc3b); | file | diff | annotate |
| Wed, 06 Oct 2021 14:19:46 +0200 | eberlm | new notion of infinite sums in HOL-Analysis, ordering on complex numbers | file | diff | annotate |
| Sun, 27 Oct 2019 12:09:07 -0400 | immler | documented reference | file | diff | annotate |
| Fri, 28 Dec 2018 19:00:25 +0100 | nipkow | added bib-file | file | diff | annotate |