| Sat, 04 Aug 2018 01:03:39 +0200 | eberlm | Small lemmas about analysis | file | diff | annotate |
| Mon, 16 Jul 2018 17:50:07 +0200 | Manuel Eberl | Tagged some more files in HOL-Analysis | file | diff | annotate |
| 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 |