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 |