CONTRIBUTORS
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
less more (0) -100 -60 tip