| 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 |
| Thu, 02 Mar 2017 21:16:02 +0100 | ballarin | Knaster-Tarski fixed point theorem and Galois Connections. | file | diff | annotate |
| Wed, 22 Feb 2017 20:33:53 +0100 | haftmann | more precise NEWS and CONTRIBUTORS | file | diff | annotate |
| Wed, 22 Feb 2017 20:24:50 +0100 | haftmann | basic documentation for computations | file | diff | annotate |
| Mon, 12 Dec 2016 17:40:06 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |
| Tue, 01 Nov 2016 01:20:33 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Mon, 31 Oct 2016 15:48:27 +0100 | blanchet | moved contribution to right release | file | diff | annotate |
| Tue, 25 Oct 2016 12:36:09 +0200 | wenzelm | tuned and updated for release; | file | diff | annotate |
| Mon, 24 Oct 2016 22:42:07 +0200 | blanchet | added Nunchaku integration | file | diff | annotate |
| Mon, 24 Oct 2016 13:50:12 +0200 | eberlm | Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory | file | diff | annotate |
| Fri, 07 Oct 2016 10:23:50 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Mon, 03 Oct 2016 14:34:29 +0200 | haftmann | CONTRIBUTORS | file | diff | annotate |
| Thu, 29 Sep 2016 20:54:46 +0200 | boehmes | CONTRIBUTORS: new proof method "argo" | file | diff | annotate |
| Wed, 27 Jul 2016 10:44:22 +0200 | Manuel Eberl | NEWS: Primes | file | diff | annotate |
| Thu, 07 Jul 2016 18:08:02 +0200 | nipkow | got rid of class cmp; added height-size proofs by Daniel Stuewe | file | diff | annotate |
| Wed, 08 Jun 2016 09:07:05 +0200 | Andreas Lochbihler | NEWS and CONTRIBUTORS for SPMF | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | file | diff | annotate |
| Tue, 22 Mar 2016 12:39:37 +0100 | blanchet | document addition of 'corec' | file | diff | annotate |
| Fri, 18 Mar 2016 08:01:49 +0100 | Andreas Lochbihler | move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library | file | diff | annotate |
| Thu, 03 Mar 2016 08:33:55 +0100 | haftmann | constructive formulation of factorization | file | diff | annotate |