CONTRIBUTORS
2009-07-24 Philipp Meyer 2009-07-24 Functionality for sum of squares to call a remote csdp prover
2009-07-14 haftmann 2009-07-14 NEWS and CONTRIBUTORS
2009-06-05 haftmann 2009-06-05 CONTRIBUTORS
2009-04-25 wenzelm 2009-04-25 post Isabelle2009 version;
2009-04-08 wenzelm 2009-04-08 updated official title of contribution by Johannes Hoelzl;
2009-03-09 wenzelm 2009-03-09 more contributors;
2009-02-28 wenzelm 2009-02-28 A Serbian theory, by Filip Maric.
2009-02-28 wenzelm 2009-02-28 more CONTRIBUTORS; fixed some dates;
2009-02-27 wenzelm 2009-02-27 more CONTRIBUTORS;
2009-02-13 kleing 2009-02-13 added find_consts to NEWS and CONTRIBUTORS
2009-02-11 kleing 2009-02-11 updated NEWS etc with "solves" criterion and auto_solves
2009-01-08 haftmann 2009-01-08 NEWS and CONTRIBUTORS
2008-12-27 krauss 2008-12-27 tuned NEWS; CONTRIBUTORS
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-11-28 kleing 2008-11-28 added Tim's find_theorems performance patch
2008-10-15 wenzelm 2008-10-15 generic ATP manager based on threads (by Fabian Immler);
2008-10-03 wenzelm 2008-10-03 Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
2008-05-28 wenzelm 2008-05-28 more contribs;
2008-05-12 wenzelm 2008-05-12 misc tuning;
2008-04-22 haftmann 2008-04-22 added entries
2008-03-05 wenzelm 2008-03-05 HOL/Library/RBT.thy;
2007-11-26 wenzelm 2007-11-26 Peter Lammich: HOL-Lattice lemmas;
2007-11-21 wenzelm 2007-11-21 tuned;
2007-11-20 wenzelm 2007-11-20 tuned;
2007-11-12 schirmer 2007-11-12 fixed typo;
2007-11-11 wenzelm 2007-11-11 HOL-Statespace;
2007-10-16 wenzelm 2007-10-16 Mark A. Hillebrand, DFKI: Robust sub/superscripts in LaTeX document output.
2007-10-01 wenzelm 2007-10-01 Norbert Schirmer: record improvements;
2007-10-01 wenzelm 2007-10-01 misc tuning and update;
2007-08-20 kleing 2007-08-20 * HOL-Word: New extensive library and type for generic, fixed size machine words, with arithemtic, bit-wise, shifting and rotating operations, reflection into int, nat, and bool lists, automation for linear arithmetic (by automatic reflection into nat or int), including lemmas on overflow and monotonicity. Instantiated to all appropriate arithmetic type classes, supporting automatic simplification of numerals on all operations. Jointly developed by NICTA, Galois, and PSU. * still to do: README.html/document + moving some of the generic lemmas to appropriate place in distribution
2007-08-20 kleing 2007-08-20 boolean algebras as locales and numbers as types by Brian Huffman
2007-06-21 paulson 2007-06-21 integration of Metis prover
2007-06-14 kleing 2007-06-14 clarified who we consider to be a contributor
2007-06-05 wenzelm 2007-06-05 Semiring normalization and Groebner Bases.
2007-03-16 haftmann 2007-03-16 updated
2006-11-08 wenzelm 2006-11-08 * November 2006: Lukas Bulwahn, TUM -- HOL/function: method "lexicographic_order".
2006-11-04 wenzelm 2006-11-04 * October 2006: Stefan Hohe, TUM;
2006-08-05 wenzelm 2006-08-05 Amine Chaieb: experimental generic reflection and reification in HOL;
2006-07-11 kleing 2006-07-11 hex and binary numerals (contributed by Rafal Kolanski)
2006-06-15 nipkow 2006-06-15 *** empty log message ***
2006-05-16 wenzelm 2006-05-16 Amine Chaieb: Ferrante and Rackoff Algorithm;
2006-04-26 kleing 2006-04-26 added Ben Porter's stuff
2005-10-15 wenzelm 2005-10-15 more;
2005-09-25 wenzelm 2005-09-25 more;
2005-09-21 wenzelm 2005-09-21 tuned;
2005-09-21 wenzelm 2005-09-21 tuned;
2005-09-21 wenzelm 2005-09-21 tuned;
2005-09-20 wenzelm 2005-09-20 HOL/ex/Chinese.thy;
2005-09-20 wenzelm 2005-09-20 more contributions;
2005-09-14 wenzelm 2005-09-14 Bernhard Haeupler: comm_ring;
2005-07-19 wenzelm 2005-07-19 more contribs;
2005-07-18 haftmann 2005-07-18 reverted from fold_yield to fold_map
2005-07-15 wenzelm 2005-07-15 *** empty log message ***
2005-06-05 wenzelm 2005-06-05 Lucas Dixon;
2005-05-17 wenzelm 2005-05-17 proper Id line;
2005-05-17 wenzelm 2005-05-17 updated;
2005-05-17 wenzelm 2005-05-17 added;