Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | file | diff | annotate |
Wed, 10 Apr 2019 21:29:32 +0100 | paulson | Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context | file | diff | annotate |
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 |