CONTRIBUTORS
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