CONTRIBUTORS
12 months ago nipkow 2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
13 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
13 months ago wenzelm 2017-09-08 tuned;
13 months ago paulson 2017-09-08 Lawrence Paulson's contributions
13 months ago blanchet 2017-09-08 listed contribution
13 months ago Andreas Lochbihler 2017-08-30 add type of unordered pairs
14 months ago wenzelm 2017-08-22 tuned;
14 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
14 months ago wenzelm 2017-08-21 misc updates for release;
19 months ago ballarin 2017-03-20 Corrected affiliation.
19 months ago ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.
20 months ago haftmann 2017-02-22 more precise NEWS and CONTRIBUTORS
20 months ago haftmann 2017-02-22 basic documentation for computations
22 months ago wenzelm 2016-12-12 merged
22 months ago wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;
23 months ago wenzelm 2016-11-01 back to post-release mode -- after fork point;
23 months ago blanchet 2016-10-31 moved contribution to right release
24 months ago wenzelm 2016-10-25 tuned and updated for release;
24 months ago blanchet 2016-10-24 added Nunchaku integration
24 months ago eberlm 2016-10-24 Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
2016-10-07 wenzelm 2016-10-07 updated for release;
2016-10-03 haftmann 2016-10-03 CONTRIBUTORS
2016-09-29 boehmes 2016-09-29 CONTRIBUTORS: new proof method "argo"
2016-07-27 Manuel Eberl 2016-07-27 NEWS: Primes
2016-07-07 nipkow 2016-07-07 got rid of class cmp; added height-size proofs by Daniel Stuewe
2016-06-08 Andreas Lochbihler 2016-06-08 NEWS and CONTRIBUTORS for SPMF
2016-03-28 blanchet 2016-03-28 tuning
2016-03-22 blanchet 2016-03-22 document addition of 'corec'
2016-03-18 Andreas Lochbihler 2016-03-18 move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
2016-03-03 haftmann 2016-03-03 constructive formulation of factorization
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-02-12 wenzelm 2016-02-12 merged
2016-01-24 wenzelm 2016-01-24 more CONTRIBUTORS;
2016-01-20 wenzelm 2016-01-20 back to post-release mode -- after fork point;
2016-01-19 wenzelm 2016-01-19 tuned;
2016-01-19 Manuel Eberl 2016-01-19 Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-12 paulson 2016-01-12 crediting LCP in CONTRIBUTORS
2016-01-10 kleing 2016-01-10 print_record NEWS and CONTRIBUTORS
2016-01-08 wenzelm 2016-01-08 tuned;
2016-01-07 Manuel Eberl 2016-01-07 Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-06 wenzelm 2016-01-06 misc tuning for release;
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem
2016-01-05 wenzelm 2016-01-05 misc tuning for release;
2016-01-05 eberlm 2016-01-05 Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-12-19 haftmann 2015-12-19 documentation on last state of the art concerning interpretation
2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem
2015-11-02 eberlm 2015-11-02 Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
2015-08-12 traytel 2015-08-12 NEWS, CONTRIBUTORS, documentation for lift_bnf
2015-07-27 haftmann 2015-07-27 formal class for factorial (semi)rings
2015-07-08 haftmann 2015-07-08 moved normalization and unit_factor into Main HOL corpus
2015-07-02 wenzelm 2015-07-02 more CONTRIBUTORS;
2015-06-19 haftmann 2015-06-19 separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
2015-06-12 haftmann 2015-06-12 CONTRIBUTORS
2015-05-25 wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-04 wenzelm 2015-05-04 tuned;
2015-05-04 kuncar 2015-05-04 CONTRIBUTORS
2015-04-19 wenzelm 2015-04-19 back to post-release mode -- after fork point;
2015-04-17 wenzelm 2015-04-17 added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-11 wenzelm 2015-04-11 updated for release;