| 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 |