| Tue, 04 Jul 2023 12:53:01 +0100 | paulson | Another tranche of HOL Light material on metric and topological spaces | file | diff | annotate |
| Tue, 02 May 2023 15:17:39 +0100 | paulson | More new theorems, and a necessary correction | file | diff | annotate |
| Mon, 18 Mar 2019 15:35:34 +0000 | paulson | new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies | file | diff | annotate |
| Thu, 22 Nov 2018 10:06:31 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
| Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
| Mon, 17 Sep 2018 15:31:55 +0100 | paulson | Set idioms theory "finite intersection_of open", etc. | file | diff | annotate |