Mon, 07 Jan 2019 18:50:41 +0100 | immler | moved generalized lemmas | file | diff | annotate |
Mon, 07 Jan 2019 18:42:49 +0100 | immler | generalized | file | diff | annotate |
Mon, 07 Jan 2019 13:33:29 +0100 | immler | moved setdist to more appropriate places | file | diff | annotate |
Mon, 07 Jan 2019 13:08:50 +0100 | immler | split off theory combining Elementary_Topology and Abstract_Topology | file | diff | annotate |
Mon, 07 Jan 2019 12:31:08 +0100 | immler | moved material from Connected.thy to more appropriate places | file | diff | annotate |
Mon, 07 Jan 2019 11:29:34 +0100 | immler | moved material from Connected.thy to more appropriate places | file | diff | annotate |
Sun, 06 Jan 2019 17:54:49 +0100 | immler | moved some material from Connected.thy to more appropriate places | file | diff | annotate |
Sat, 29 Dec 2018 20:32:09 +0100 | immler | split off theorems involving classes below metric_space and real_normed_vector | file | diff | annotate |