| Fri, 23 Mar 2018 10:52:00 +0100 | haftmann | NEWS and CONTRIBUTORS | file | diff | annotate |
| Mon, 12 Mar 2018 21:03:57 +0100 | Manuel Eberl | Removed stray 'sledgehammer' invocation | file | diff | annotate |
| Fri, 19 Jan 2018 08:28:08 +0100 | nipkow | added lemma | file | diff | annotate |
| Mon, 25 Dec 2017 11:22:49 +0100 | haftmann | spelling | file | diff | annotate |
| Mon, 18 Dec 2017 16:58:13 +0100 | traytel | a conditional paramitrecity prover | file | diff | annotate |
| Sun, 22 Oct 2017 09:10:10 +0200 | nipkow | derived axiom iffI as a lemma (thanks to Alexander Maletzky) | file | diff | annotate |
| Fri, 08 Sep 2017 19:37:46 +0200 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Fri, 08 Sep 2017 19:31:43 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 08 Sep 2017 15:48:58 +0100 | paulson | Lawrence Paulson's contributions | file | diff | annotate |
| Fri, 08 Sep 2017 16:20:47 +0200 | blanchet | listed contribution | file | diff | annotate |
| Wed, 30 Aug 2017 18:01:27 +0200 | Andreas Lochbihler | add type of unordered pairs | file | diff | annotate |
| Tue, 22 Aug 2017 11:42:51 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 21 Aug 2017 20:49:15 +0200 | Manuel Eberl | HOL-Analysis: Convergent FPS and infinite sums | file | diff | annotate |
| Mon, 21 Aug 2017 17:15:26 +0200 | wenzelm | misc updates for release; | file | diff | annotate |
| Mon, 20 Mar 2017 21:01:47 +0100 | ballarin | Corrected affiliation. | file | diff | annotate |