CONTRIBUTORS
2009-12-04 ago back to after-release mode;
2009-11-25 ago tuned affiliation;
2009-11-25 ago extended list of HOL-Boogie contributors
2009-11-23 ago CONTRIBUTORS
2009-11-22 ago more NEWS, more tuning for release;
2009-11-22 ago misc tuning and updates for official release;
2009-11-19 ago Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
2009-11-12 ago added a tabled implementation of the reflexive transitive closure
2009-11-12 ago announcing the predicate compiler in NEWS and CONTRIBUTORS
2009-11-03 ago added HOL-Boogie
2009-10-26 ago merged
2009-10-22 ago added Nitpick's theory and ML files to Isabelle/HOL;
2009-10-26 ago misc tuning and updates;
2009-10-20 ago added proof reconstructon for Z3,
2009-10-19 ago CONTRIBUTORS
2009-09-29 ago Thomas Sewell, NICTA: more efficient HOL/record implementation;
2009-09-18 ago added new method "smt": an oracle-based connection to external SMT solvers
2009-09-18 ago tuned NEWS, added CONTRIBUTORS
2009-07-24 ago Functionality for sum of squares to call a remote csdp prover
2009-07-14 ago NEWS and CONTRIBUTORS
2009-06-05 ago CONTRIBUTORS
2009-04-25 ago post Isabelle2009 version;
2009-04-08 ago updated official title of contribution by Johannes Hoelzl;
2009-03-09 ago more contributors;
2009-02-28 ago A Serbian theory, by Filip Maric.
2009-02-28 ago more CONTRIBUTORS;
2009-02-27 ago more CONTRIBUTORS;
2009-02-13 ago added find_consts to NEWS and CONTRIBUTORS
2009-02-11 ago updated NEWS etc with "solves" criterion and auto_solves
2009-01-08 ago NEWS and CONTRIBUTORS
2008-12-27 ago tuned NEWS; CONTRIBUTORS
2008-12-20 ago removed Ids;
2008-11-28 ago added Tim's find_theorems performance patch
2008-10-15 ago generic ATP manager based on threads (by Fabian Immler);
2008-10-03 ago Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
2008-05-28 ago more contribs;
2008-05-12 ago misc tuning;
2008-04-22 ago added entries
2008-03-05 ago HOL/Library/RBT.thy;
2007-11-26 ago Peter Lammich: HOL-Lattice lemmas;
2007-11-21 ago tuned;
2007-11-20 ago tuned;
2007-11-12 ago fixed typo;
2007-11-11 ago HOL-Statespace;
2007-10-16 ago Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
2007-10-01 ago Norbert Schirmer: record improvements;
2007-10-01 ago misc tuning and update;
2007-08-20 ago * HOL-Word:
2007-08-20 ago boolean algebras as locales and numbers as types by Brian Huffman
2007-06-21 ago integration of Metis prover
2007-06-14 ago clarified who we consider to be a contributor
2007-06-05 ago Semiring normalization and Groebner Bases.
2007-03-16 ago updated
2006-11-08 ago * November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
2006-11-04 ago * October 2006: Stefan Hohe, TUM;
2006-08-05 ago Amine Chaieb: experimental generic reflection and reification in HOL;
2006-07-11 ago hex and binary numerals (contributed by Rafal Kolanski)
2006-06-15 ago *** empty log message ***
2006-05-16 ago Amine Chaieb: Ferrante and Rackoff Algorithm;
2006-04-26 ago added Ben Porter's stuff