| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | file | diff | annotate |
| Mon, 26 Jun 2023 14:38:19 +0100 | paulson | New and generalised analysis lemmas | file | diff | annotate |
| Mon, 30 Jan 2023 15:24:17 +0000 | paulson | Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl | file | diff | annotate |
| Mon, 04 Oct 2021 12:32:50 +0100 | paulson | new material from the Roth development, mostly about finite sets, disjoint famillies and partitions | file | diff | annotate |
| Mon, 20 Sep 2021 13:52:09 +0200 | wenzelm | tuned proofs --- eliminated 'guess'; | file | diff | annotate |
| Wed, 20 May 2020 15:00:25 +0100 | paulson | A few new theorems, plus some tidying up | file | diff | annotate |
| Wed, 17 Apr 2019 17:48:28 +0100 | paulson | Lindelöf spaces and supporting material | file | diff | annotate |