| Wed, 06 Jun 2018 18:19:55 +0200 | nipkow | reorient -> split; documented split | file | diff | annotate |
| Thu, 26 Apr 2018 19:51:32 +0200 | nipkow | new simp modifier: reorient | file | diff | annotate |
| Mon, 21 Aug 2017 20:49:15 +0200 | Manuel Eberl | HOL-Analysis: Convergent FPS and infinite sums | file | diff | annotate |