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