CONTRIBUTORS
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