| Mon, 07 Jan 2019 18:50:41 +0100 | immler | moved generalized lemmas | file | diff | annotate |
| Sun, 06 Jan 2019 12:32:01 +0100 | nipkow | typed definitions | 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 19:48:28 +0100 | nipkow | tuned headers; ~ -> \<not> | file | diff | annotate |
| Thu, 22 Nov 2018 10:06:31 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
| Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
| Sun, 11 Nov 2018 16:08:59 +0100 | nipkow | tuned | file | diff | annotate |
| Wed, 17 Oct 2018 14:19:07 +0100 | paulson | new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml | file | diff | annotate |