CONTRIBUTORS
changeset 16869 bc98da5727be
parent 16868 eaafda56b14c
child 16892 23887fee6071
     1.1 --- a/CONTRIBUTORS	Fri Jul 15 15:45:04 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Jul 18 14:10:11 2005 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  
     1.5  * July 2005: Florian Haftmann, TUM
     1.6    Some combinators for linear functional transformations in ML:
     1.7 -  |->  #->  fold_yield  etc.
     1.8 +  |->  #->  fold_map  etc.
     1.9  
    1.10  * May 2005: Rafal Kolanski, NICTA
    1.11    Substantially improved retrieval of facts from theory/proof context.