| 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 |
| Wed, 17 Feb 2016 21:51:56 +0100 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | file | diff | annotate |
| Fri, 12 Feb 2016 22:36:48 +0100 | wenzelm | merged | file | diff | annotate |
| Sun, 24 Jan 2016 12:33:40 +0100 | wenzelm | more CONTRIBUTORS; | file | diff | annotate |
| Wed, 20 Jan 2016 20:19:05 +0100 | wenzelm | back to post-release mode -- after fork point; | file | diff | annotate |
| Tue, 19 Jan 2016 14:00:47 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 19 Jan 2016 11:19:25 +0100 | Manuel Eberl | Added approximation of powr to NEWS/CONTRIBUTORS | file | diff | annotate |
| Tue, 12 Jan 2016 13:34:31 +0000 | paulson | crediting LCP in CONTRIBUTORS | file | diff | annotate |