| Mon, 06 May 2024 14:39:33 +0100 | paulson | Some new simprules – and patches for proofs | file | diff | annotate |
| Sun, 14 Apr 2024 18:39:43 +0100 | paulson | More tidying and removal of "apply" | file | diff | annotate |
| Sat, 15 Jul 2023 23:34:42 +0100 | paulson | trivial_topology | file | diff | annotate |
| Wed, 12 Jul 2023 18:28:11 +0100 | paulson | Some fixes, and SOME TIME LIMITS | file | diff | annotate |
| Tue, 09 Apr 2019 21:05:32 +0100 | paulson | More homology material | file | diff | annotate |