CONTRIBUTORS
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;