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