| Tue, 28 Aug 2018 13:28:39 +0100 | Angeliki KoutsoukouArgyraki | tagged 21 theories in the Analysis library for the manual | file | diff | annotate |
| Fri, 20 Apr 2018 19:11:17 +0100 | paulson | three new theorems | file | diff | annotate |
| Tue, 17 Apr 2018 22:35:48 +0100 | paulson | Change of variables proof | file | diff | annotate |
| Tue, 17 Apr 2018 12:09:23 +0100 | paulson | Vitali covering theorem | file | diff | annotate |