CONTRIBUTORS
changeset 16868 eaafda56b14c
parent 16252 8cddc62ed170
child 16869 bc98da5727be
     1.1 --- a/CONTRIBUTORS	Fri Jul 15 15:44:22 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Jul 15 15:45:04 2005 +0200
     1.3 @@ -1,3 +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  
     1.9  * May 2005: Rafal Kolanski, NICTA
    1.10    Substantially improved retrieval of facts from theory/proof context.