CONTRIBUTORS
2016-01-07 Manuel Eberl 2016-01-07 Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-06 wenzelm 2016-01-06 misc tuning for release;
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem
2016-01-05 wenzelm 2016-01-05 misc tuning for release;
2016-01-05 eberlm 2016-01-05 Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-12-19 haftmann 2015-12-19 documentation on last state of the art concerning interpretation
2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem
2015-11-02 eberlm 2015-11-02 Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
2015-08-12 traytel 2015-08-12 NEWS, CONTRIBUTORS, documentation for lift_bnf
2015-07-27 haftmann 2015-07-27 formal class for factorial (semi)rings
2015-07-08 haftmann 2015-07-08 moved normalization and unit_factor into Main HOL corpus
2015-07-02 wenzelm 2015-07-02 more CONTRIBUTORS;
2015-06-19 haftmann 2015-06-19 separate class for notions specific for integral (semi)domains, in contrast to fields where these are trivial
2015-06-12 haftmann 2015-06-12 CONTRIBUTORS
2015-05-25 wenzelm 2015-05-25 merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-04 wenzelm 2015-05-04 tuned;
2015-05-04 kuncar 2015-05-04 CONTRIBUTORS
2015-04-19 wenzelm 2015-04-19 back to post-release mode -- after fork point;
2015-04-17 wenzelm 2015-04-17 added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-11 wenzelm 2015-04-11 updated for release;
2015-04-08 wenzelm 2015-04-08 misc tuning for release;
2015-03-25 blanchet 2015-03-25 more multiset theorems
2014-12-05 hoelzl 2014-12-05 add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
2014-10-08 Andreas Lochbihler 2014-10-08 move Code_Test to HOL/Library; add corresponding entries in NEWS and CONTRIBUTORS
2014-09-06 haftmann 2014-09-06 theory about lexicographic ordering on functions
2014-08-22 haftmann 2014-08-22 generic euclidean algorithm (due to Manuel Eberl)
2014-08-10 wenzelm 2014-08-10 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 2014-08-09 tuned;
2014-07-30 wenzelm 2014-07-30 CONTRIBUTORS;
2014-07-27 wenzelm 2014-07-27 back to post-release mode -- after fork point;
2014-07-05 haftmann 2014-07-05 CONTRIBUTORS
2014-07-05 wenzelm 2014-07-05 tuned;
2014-07-05 kleing 2014-07-05 added Tom's hyp_subst update
2014-07-01 paulson 2014-07-01 for new release
2014-07-01 wenzelm 2014-07-01 misc updates for release;
2014-06-28 haftmann 2014-06-28 CONTRIBUTORS
2014-06-16 hoelzl 2014-06-16 lemmas about the moments of the normal distribution
2014-06-13 hoelzl 2014-06-13 properties of normal distributed random variables (by Sudeep Kanav)
2014-06-12 hoelzl 2014-06-12 properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
2014-06-11 blanchet 2014-06-11 updated contributors to include students
2014-05-20 blanchet 2014-05-20 CONTRIBUTORS
2014-04-05 haftmann 2014-04-05 avoid romanism
2014-04-05 haftmann 2014-04-05 CONTRIBUTORS
2014-03-14 blanchet 2014-03-14 updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer)
2014-03-05 wenzelm 2014-03-05 proper UTF-8;
2014-03-04 nipkow 2014-03-04 added contributor
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-11-11 wenzelm 2013-11-11 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-05 wenzelm 2013-11-05 tuned;
2013-10-28 noschinl 2013-10-28 CONTRIBUTORS
2013-10-03 wenzelm 2013-10-03 back to post-release mode -- after fork point;
2013-10-03 wenzelm 2013-10-03 tuned;
2013-10-02 wenzelm 2013-10-02 tuned;
2013-10-02 traytel 2013-10-02 NEWS and CONTRIBUTORS
2013-10-02 kuncar 2013-10-02 typo
2013-10-02 kuncar 2013-10-02 NEWS and CONTRIBUTORS
2013-10-01 blanchet 2013-10-01 minor textual changes
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-29 wenzelm 2013-09-29 updated for release;