Wed, 17 Apr 2019 17:48:28 +0100 | paulson | Lindelöf spaces and supporting material | file | diff | annotate |
Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
Thu, 21 Mar 2019 14:18:22 +0000 | paulson | new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map | file | diff | annotate |
Tue, 19 Mar 2019 16:14:51 +0000 | paulson | new material about topology, etc.; also fixes for yesterday's | file | diff | annotate |
Tue, 29 Jan 2019 21:56:40 +0100 | wenzelm | eliminated suspicious Unicode; | file | diff | annotate |
Tue, 29 Jan 2019 16:13:11 +0100 | nipkow | moved generalized material | file | diff | annotate |
Mon, 07 Jan 2019 18:50:41 +0100 | immler | moved generalized lemmas | file | diff | annotate |
Mon, 07 Jan 2019 13:08:50 +0100 | immler | split off theory combining Elementary_Topology and Abstract_Topology | file | diff | annotate |