| Fri, 25 Dec 2020 15:37:27 +0000 | paulson | A few more simprules for iff-reasoning | file | diff | annotate |
| Tue, 05 Nov 2019 13:56:22 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 17 Apr 2019 17:48:28 +0100 | paulson | Lindelöf spaces and supporting material | file | diff | annotate |