CONTRIBUTORS
2 months ago haftmann 2019-03-13 CONTRIBUTORS
3 months ago haftmann 2019-02-15 CONTRIBUTORS
3 months ago Manuel Eberl 2019-02-04 Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)
3 months ago Manuel Eberl 2019-02-04 Exponentiation by squaring, fast modular exponentiation
3 months ago Manuel Eberl 2019-02-04 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
4 months ago Andreas Lochbihler 2019-01-01 new implementation for case_of_simps based on Code_Lazy's pattern matching elimination algorithm
6 months ago fleury 2018-10-30 add reconstruction by veriT in method smt
10 months ago wenzelm 2018-07-22 back to post-release mode -- after fork point;
10 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
10 months ago wenzelm 2018-06-29 tuned;
10 months ago wenzelm 2018-06-29 merged;
10 months ago wenzelm 2018-06-29 misc tuning and updates for release;
10 months ago paulson 2018-06-29 merged
10 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
10 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
10 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
11 months ago paulson 2018-06-18 corrections to markup
11 months ago wenzelm 2018-06-06 updated for release; tuned;
12 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
12 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
12 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
12 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
13 months ago haftmann 2018-04-24 proper datatype for 8-bit characters
13 months ago haftmann 2018-04-24 corrected nonsense
14 months ago haftmann 2018-03-23 NEWS and CONTRIBUTORS
14 months ago Manuel Eberl 2018-03-12 Removed stray 'sledgehammer' invocation
16 months ago nipkow 2018-01-19 added lemma
17 months ago haftmann 2017-12-25 spelling
17 months ago traytel 2017-12-18 a conditional paramitrecity prover
19 months ago nipkow 2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
20 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
20 months ago wenzelm 2017-09-08 tuned;
20 months ago paulson 2017-09-08 Lawrence Paulson's contributions
20 months ago blanchet 2017-09-08 listed contribution
20 months ago Andreas Lochbihler 2017-08-30 add type of unordered pairs
21 months ago wenzelm 2017-08-22 tuned;
21 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
21 months ago wenzelm 2017-08-21 misc updates for release;
2017-03-20 ballarin 2017-03-20 Corrected affiliation.
2017-03-02 ballarin 2017-03-02 Knaster-Tarski fixed point theorem and Galois Connections.
2017-02-22 haftmann 2017-02-22 more precise NEWS and CONTRIBUTORS
2017-02-22 haftmann 2017-02-22 basic documentation for computations
2016-12-12 wenzelm 2016-12-12 merged
2016-12-12 wenzelm 2016-12-12 proper session HOL-Types_To_Sets; NEWS; CONTRIBUTORS; tuned whitespace;
2016-11-01 wenzelm 2016-11-01 back to post-release mode -- after fork point;
2016-10-31 blanchet 2016-10-31 moved contribution to right release
2016-10-25 wenzelm 2016-10-25 tuned and updated for release;
2016-10-24 blanchet 2016-10-24 added Nunchaku integration
2016-10-24 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