Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Fri, 28 Dec 2018 10:29:59 +0100 | nipkow | tuned style and headers | file | diff | annotate |
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 |