| 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 |