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