CONTRIBUTORS
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
2005-10-15 ago more;
2005-09-25 ago more;
2005-09-21 ago tuned;
2005-09-21 ago tuned;
2005-09-21 ago tuned;
2005-09-20 ago HOL/ex/Chinese.thy;
2005-09-20 ago more contributions;
2005-09-14 ago Bernhard Haeupler: comm_ring;
2005-07-19 ago more contribs;
2005-07-18 ago reverted from fold_yield to fold_map
2005-07-15 ago *** empty log message ***
2005-06-05 ago Lucas Dixon;
2005-05-17 ago proper Id line;
2005-05-17 ago updated;
2005-05-17 ago added;