| Tue, 19 Oct 2021 16:10:36 +0200 | Manuel Eberl | updated email address | file | diff | annotate |
| Fri, 25 Sep 2020 14:11:48 +0100 | paulson | fixed some remarkably ugly proofs | file | diff | annotate |
| Tue, 31 Mar 2020 15:51:15 +0200 | nipkow | cleaned proofs | file | diff | annotate |
| Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
| Fri, 25 Jan 2019 02:38:26 +0000 | Angeliki KoutsoukouArgyraki | tagged 4 theories | file | diff | annotate |
| 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 |