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