| Wed, 16 Jan 2019 19:34:48 -0500 | immler | chapters for analysis manual | 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 |
| Tue, 01 Jan 2019 13:26:37 +0100 | nipkow | tuned defs | 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 |
| Sat, 29 Dec 2018 15:43:53 +0100 | nipkow | capitalize proper names in lemma names | file | diff | annotate |
| Thu, 27 Dec 2018 23:38:55 +0100 | immler | most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies | file | diff | annotate |