CONTRIBUTORS
2011-01-17 wenzelm back to post-release mode;
2011-01-16 wenzelm misc updates for release;
2011-01-15 berghofe Added entry for HOL-SPARK
2011-01-12 krauss CONTRIBUTORS
2011-01-11 wenzelm updated to Isabelle2011;
2010-11-05 wenzelm proper spelling;
2010-11-05 hoelzl Extend convex analysis by Bogdan Grechuk
2010-10-29 wenzelm CONTRIBUTORS;
2010-10-25 haftmann CONTRIBUTORS
2010-09-23 haftmann CONTRIBUTORS and NEWS
2010-08-23 hoelzl Rewrite the Probability theory.
2010-08-17 haftmann NEWS and CONTRIBUTORS
2010-06-07 wenzelm back to non-release mode;
2010-06-03 krauss CONTRIBUTORS
2010-06-02 wenzelm more CONTRIBUTORS;
2010-05-27 wenzelm misc updates for release;
2010-04-27 haftmann NEWS and CONTRIBUTORS
2009-12-04 wenzelm back to after-release mode;
2009-11-25 wenzelm tuned affiliation;
2009-11-25 boehmes extended list of HOL-Boogie contributors
2009-11-23 haftmann CONTRIBUTORS
2009-11-22 wenzelm more NEWS, more tuning for release;
2009-11-22 wenzelm misc tuning and updates for official release;
2009-11-19 hoelzl Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
2009-11-12 bulwahn added a tabled implementation of the reflexive transitive closure
2009-11-12 bulwahn announcing the predicate compiler in NEWS and CONTRIBUTORS
2009-11-03 boehmes added HOL-Boogie
2009-10-26 blanchet merged
2009-10-22 blanchet added Nitpick's theory and ML files to Isabelle/HOL;
2009-10-26 wenzelm misc tuning and updates;
2009-10-20 boehmes added proof reconstructon for Z3,
2009-10-19 haftmann CONTRIBUTORS
2009-09-29 wenzelm Thomas Sewell, NICTA: more efficient HOL/record implementation;
2009-09-18 boehmes added new method "smt": an oracle-based connection to external SMT solvers
2009-09-18 haftmann tuned NEWS, added CONTRIBUTORS
2009-07-24 Philipp Meyer Functionality for sum of squares to call a remote csdp prover
2009-07-14 haftmann NEWS and CONTRIBUTORS
2009-06-05 haftmann CONTRIBUTORS
2009-04-25 wenzelm post Isabelle2009 version;
2009-04-08 wenzelm updated official title of contribution by Johannes Hoelzl;
2009-03-09 wenzelm more contributors;
2009-02-28 wenzelm A Serbian theory, by Filip Maric.
2009-02-28 wenzelm more CONTRIBUTORS;
2009-02-27 wenzelm more CONTRIBUTORS;
2009-02-12 kleing added find_consts to NEWS and CONTRIBUTORS
2009-02-11 kleing updated NEWS etc with "solves" criterion and auto_solves
2009-01-08 haftmann NEWS and CONTRIBUTORS
2008-12-27 krauss tuned NEWS; CONTRIBUTORS
2008-12-20 wenzelm removed Ids;
2008-11-28 kleing added Tim's find_theorems performance patch
2008-10-15 wenzelm generic ATP manager based on threads (by Fabian Immler);
2008-10-03 wenzelm Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
2008-05-28 wenzelm more contribs;
2008-05-12 wenzelm misc tuning;
2008-04-22 haftmann added entries
2008-03-05 wenzelm HOL/Library/RBT.thy;
2007-11-26 wenzelm Peter Lammich: HOL-Lattice lemmas;
2007-11-21 wenzelm tuned;
2007-11-20 wenzelm tuned;
2007-11-12 schirmer fixed typo;
less more (0) -60 tip