Tue, 19 Mar 2019 16:14:51 +0000 | paulson | new material about topology, etc.; also fixes for yesterday's | file | diff | annotate |
Fri, 25 Jan 2019 02:38:26 +0000 | Angeliki KoutsoukouArgyraki | tagged 4 theories | file | diff | annotate |
Thu, 17 Jan 2019 16:38:00 -0500 | immler | subsection is always %important | file | diff | annotate |
Sun, 18 Nov 2018 18:07:51 +0000 | haftmann | removed legacy input syntax | file | diff | annotate |
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 |