| Mon, 09 Dec 2019 15:36:51 +0000 | paulson | a few new and tidier proofs (mostly about finite sets) | file | diff | annotate |
| Wed, 18 Sep 2019 14:41:37 +0100 | paulson | imported new material mostly due to Sébastien Gouëzel | file | diff | annotate |
| Wed, 17 Apr 2019 17:48:28 +0100 | paulson | Lindelöf spaces and supporting material | file | diff | annotate |
| Mon, 01 Apr 2019 17:02:43 +0100 | paulson | A few results in Algebra, and bits for Analysis | file | diff | annotate |
| Thu, 24 Jan 2019 14:44:52 +0000 | paulson | the theory of Equipollence, and moving Fpow from Cardinals into Main | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sun, 18 Nov 2018 09:51:41 +0100 | nipkow | added and tuned lemmas | file | diff | annotate |