| Thu, 26 Apr 2018 19:51:32 +0200 | nipkow | new simp modifier: reorient | file | diff | annotate |
| Fri, 20 Apr 2018 19:11:17 +0100 | paulson | three new theorems | file | diff | annotate |
| Wed, 18 Apr 2018 21:12:50 +0100 | paulson | correction of TeX errors and other oversights | file | diff | annotate |
| Wed, 18 Apr 2018 15:57:36 +0100 | paulson | tidying up including contributions from Paulo EmÃlio de Vilhena | file | diff | annotate |
| Tue, 17 Apr 2018 22:35:48 +0100 | paulson | Change of variables proof | file | diff | annotate |