| Tue, 31 Mar 2020 15:51:15 +0200 | nipkow | cleaned proofs | file | diff | annotate |
| Mon, 02 Dec 2019 22:40:16 -0500 | immler | split off metric spaces part of Function_Topology: subsequent theories Product_Topology, T1_Spaces, Lindelof_Spaces are purely topological | file | diff | annotate |