| Fri, 20 Sep 2024 19:51:08 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | file | diff | annotate |
| Sun, 06 Aug 2023 18:29:09 +0100 | paulson | Tidied up more messy proofs | file | diff | annotate |
| Sat, 15 Jul 2023 23:34:42 +0100 | paulson | trivial_topology | file | diff | annotate |
| Tue, 04 Jul 2023 12:53:01 +0100 | paulson | Another tranche of HOL Light material on metric and topological spaces | file | diff | annotate |
| Mon, 15 May 2023 17:12:18 +0100 | paulson | More material from the HOL Light metric space library | file | diff | annotate |
| Thu, 28 Nov 2019 23:06:22 +0100 | nipkow | tuned | file | diff | annotate |
| Fri, 15 Nov 2019 21:09:03 +0100 | nipkow | tuned | file | diff | annotate |
| Fri, 22 Mar 2019 12:34:49 +0000 | paulson | New abstract topological material | file | diff | annotate |