| Mon, 07 Jan 2019 13:16:33 +0100 | immler | reduced dependencies of Connected.thy | 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 |