| Wed, 05 Jul 2023 16:50:07 +0100 | paulson | A couple of new lemmas involving cardinality | 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, 03 Jul 2023 11:45:59 +0100 | paulson | EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis | file | diff | annotate |
| Tue, 27 Jun 2023 11:56:31 +0100 | paulson | More metric space material | file | diff | annotate |
| Mon, 26 Jun 2023 14:38:19 +0100 | paulson | New and generalised analysis lemmas | file | diff | annotate |
| Tue, 30 May 2023 14:24:09 +0100 | paulson | Hiding the constructor names, particularly to avoid conflicts involving "ext" | file | diff | annotate |
| Tue, 30 May 2023 12:33:06 +0100 | paulson | New HOL Light material on metric spaces and topological spaces | file | diff | annotate |