| Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
| Sun, 21 Oct 2018 23:02:52 +0100 | Angeliki KoutsoukouArgyraki | tagged 8 theories for the Analysis manual. | file | diff | annotate |
| Fri, 13 Jul 2018 18:27:18 +0100 | Manuel Eberl | HOL-Analysis: Volume of a simplex, Heron's theorem | file | diff | annotate |