CONTRIBUTORS
2020-03-15 wenzelm back to post-release mode;
2020-02-26 wenzelm updated for release;
2020-02-25 wenzelm update to WebviewPanel API, following initial version by Peter Zeller;
2020-02-11 wenzelm updated for release;
2020-02-11 wenzelm tuned;
2020-02-11 wenzelm updated for release;
2020-02-11 paulson some lemmas about the lex ordering on lists, etc.
2020-02-10 wenzelm updated for release;
2019-12-10 traytel NEWS, CONTRIBUTORS, and documentation
2019-10-27 immler added contributor
2019-05-11 wenzelm back to post-release mode;
2019-04-30 paulson A bit of de-applying
2019-04-14 paulson Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
2019-04-02 wenzelm more material for release;
2019-03-13 haftmann CONTRIBUTORS
2019-02-15 haftmann CONTRIBUTORS
2019-02-04 Manuel Eberl Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
2019-02-04 Manuel Eberl Exponentiation by squaring, fast modular exponentiation
2019-02-04 Manuel Eberl More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
2019-01-01 Andreas Lochbihler new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
2018-10-30 fleury add reconstruction by veriT in method smt
2018-07-22 wenzelm back to post-release mode -- after fork point;
2018-07-15 Manuel Eberl Added Real_Asymp package
2018-06-29 wenzelm tuned;
2018-06-29 wenzelm merged;
2018-06-29 wenzelm misc tuning and updates for release;
2018-06-29 paulson merged
2018-06-28 paulson Incorporating new/strengthened proofs from Library and AFP entries
2018-06-29 Wenda Li NEWS and CONTRIBUTORS
2018-06-27 immler example for Types_To_Sets: transfer from type-based linear algebra to subspaces
2018-06-18 paulson corrections to markup
2018-06-06 wenzelm updated for release;
2018-05-18 Manuel Eberl Moved Landau_Symbols from the AFP to HOL-Library
2018-05-17 Andreas Lochbihler NEWS and CONTRIBUTORS for 8b50f29a1992
2018-05-03 immler merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
2018-05-02 immler added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
2018-04-24 haftmann proper datatype for 8-bit characters
2018-04-24 haftmann corrected nonsense
2018-03-23 haftmann NEWS and CONTRIBUTORS
2018-03-12 Manuel Eberl Removed stray 'sledgehammer' invocation
2018-01-19 nipkow added lemma
2017-12-25 haftmann spelling
2017-12-18 traytel a conditional paramitrecity prover
2017-10-22 nipkow derived axiom iffI as a lemma (thanks to Alexander Maletzky)
2017-09-08 wenzelm back to post-release mode -- after fork point;
2017-09-08 wenzelm tuned;
2017-09-08 paulson Lawrence Paulson's contributions
2017-09-08 blanchet listed contribution
2017-08-30 Andreas Lochbihler add type of unordered pairs
2017-08-22 wenzelm tuned;
2017-08-21 Manuel Eberl HOL-Analysis: Convergent FPS and infinite sums
2017-08-21 wenzelm misc updates for release;
2017-03-20 ballarin Corrected affiliation.
2017-03-02 ballarin Knaster-Tarski fixed point theorem and Galois Connections.
2017-02-22 haftmann more precise NEWS and CONTRIBUTORS
2017-02-22 haftmann basic documentation for computations
2016-12-12 wenzelm merged
2016-12-12 wenzelm proper session HOL-Types_To_Sets;
2016-11-01 wenzelm back to post-release mode -- after fork point;
2016-10-31 blanchet moved contribution to right release
2016-10-25 wenzelm tuned and updated for release;
2016-10-24 blanchet added Nunchaku integration
2016-10-24 eberlm Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
2016-10-07 wenzelm updated for release;
2016-10-03 haftmann CONTRIBUTORS
2016-09-29 boehmes CONTRIBUTORS: new proof method "argo"
2016-07-27 Manuel Eberl NEWS: Primes
2016-07-07 nipkow got rid of class cmp; added height-size proofs by Daniel Stuewe
2016-06-08 Andreas Lochbihler NEWS and CONTRIBUTORS for SPMF
2016-03-28 blanchet tuning
2016-03-22 blanchet document addition of 'corec'
2016-03-18 Andreas Lochbihler move Complete_Partial_Orders2 from AFP/Coinductive to HOL/Library
2016-03-03 haftmann constructive formulation of factorization
2016-02-17 haftmann prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-02-12 wenzelm merged
2016-01-24 wenzelm more CONTRIBUTORS;
2016-01-20 wenzelm back to post-release mode -- after fork point;
2016-01-19 wenzelm tuned;
2016-01-19 Manuel Eberl Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-12 paulson crediting LCP in CONTRIBUTORS
2016-01-11 kleing print_record NEWS and CONTRIBUTORS
2016-01-08 wenzelm tuned;
2016-01-07 Manuel Eberl Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-06 wenzelm misc tuning for release;
2016-01-06 hoelzl add the proof of the central limit theorem
2016-01-05 wenzelm misc tuning for release;
2016-01-05 eberlm Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2015-12-31 wenzelm misc updates for release;
2015-12-19 haftmann documentation on last state of the art concerning interpretation
2015-12-01 Andreas Lochbihler add formalisation of Bourbaki-Witt fixpoint theorem
2015-11-02 eberlm Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
2015-08-12 traytel NEWS, CONTRIBUTORS, documentation for lift_bnf
2015-07-27 haftmann formal class for factorial (semi)rings
2015-07-08 haftmann moved normalization and unit_factor into Main HOL corpus
2015-07-02 wenzelm more CONTRIBUTORS;
2015-06-19 haftmann separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
2015-06-12 haftmann CONTRIBUTORS
2015-05-25 wenzelm merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-04 wenzelm tuned;
2015-05-04 kuncar CONTRIBUTORS
2015-04-19 wenzelm back to post-release mode -- after fork point;
2015-04-17 wenzelm added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-11 wenzelm updated for release;
2015-04-08 wenzelm misc tuning for release;
2015-03-25 blanchet more multiset theorems
2014-12-05 hoelzl add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
2014-10-08 Andreas Lochbihler move Code_Test to HOL/Library;
2014-09-06 haftmann theory about lexicographic ordering on functions
2014-08-22 haftmann generic euclidean algorithm (due to Manuel Eberl)
2014-08-10 wenzelm merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
2014-08-09 wenzelm tuned;
2014-07-30 wenzelm CONTRIBUTORS;
2014-07-27 wenzelm back to post-release mode -- after fork point;
2014-07-05 haftmann CONTRIBUTORS
2014-07-05 wenzelm tuned;
2014-07-05 kleing added Tom's hyp_subst update
2014-07-01 paulson for new release
2014-07-01 wenzelm misc updates for release;
2014-06-28 haftmann CONTRIBUTORS
2014-06-16 hoelzl lemmas about the moments of the normal distribution
less more (0) -120 tip