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;
2007-11-11 wenzelm HOL-Statespace;
2007-10-16 wenzelm Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
2007-10-01 wenzelm Norbert Schirmer: record improvements;
2007-10-01 wenzelm misc tuning and update;
2007-08-20 kleing * HOL-Word:
2007-08-19 kleing boolean algebras as locales and numbers as types by Brian Huffman
2007-06-21 paulson integration of Metis prover
2007-06-14 kleing clarified who we consider to be a contributor
2007-06-05 wenzelm Semiring normalization and Groebner Bases.
2007-03-16 haftmann updated
2006-11-08 wenzelm * November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
2006-11-04 wenzelm * October 2006: Stefan Hohe, TUM;
2006-08-05 wenzelm Amine Chaieb: experimental generic reflection and reification in HOL;
2006-07-10 kleing hex and binary numerals (contributed by Rafal Kolanski)
2006-06-15 nipkow *** empty log message ***
2006-05-16 wenzelm Amine Chaieb: Ferrante and Rackoff Algorithm;
2006-04-26 kleing added Ben Porter's stuff
2005-10-14 wenzelm more;
2005-09-25 wenzelm more;
2005-09-21 wenzelm tuned;
2005-09-21 wenzelm tuned;
2005-09-21 wenzelm tuned;
2005-09-20 wenzelm HOL/ex/Chinese.thy;
2005-09-20 wenzelm more contributions;
2005-09-14 wenzelm Bernhard Haeupler: comm_ring;
2005-07-19 wenzelm more contribs;
2005-07-18 haftmann reverted from fold_yield to fold_map
2005-07-15 wenzelm *** empty log message ***
2005-06-05 wenzelm Lucas Dixon;
2005-05-17 wenzelm proper Id line;
2005-05-17 wenzelm updated;
2005-05-17 wenzelm added;
less more (0) tip