CONTRIBUTORS
11 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
11 months ago wenzelm 2018-06-29 tuned;
11 months ago wenzelm 2018-06-29 merged;
11 months ago wenzelm 2018-06-29 misc tuning and updates for release;
11 months ago paulson 2018-06-29 merged
11 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
11 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
11 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
12 months ago paulson 2018-06-18 corrections to markup
12 months ago wenzelm 2018-06-06 updated for release; tuned;
13 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
13 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
13 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
13 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
15 months ago haftmann 2018-03-23 NEWS and CONTRIBUTORS
15 months ago Manuel Eberl 2018-03-12 Removed stray 'sledgehammer' invocation
17 months ago nipkow 2018-01-19 added lemma
17 months ago haftmann 2017-12-25 spelling
18 months ago traytel 2017-12-18 a conditional paramitrecity prover
20 months ago nipkow 2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
21 months ago wenzelm 2017-09-08 back to post-release mode -- after fork point;
21 months ago wenzelm 2017-09-08 tuned;
21 months ago paulson 2017-09-08 Lawrence Paulson's contributions
21 months ago blanchet 2017-09-08 listed contribution
21 months ago Andreas Lochbihler 2017-08-30 add type of unordered pairs
22 months ago wenzelm 2017-08-22 tuned;
22 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
22 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
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;