CONTRIBUTORS
changeset 16868 eaafda56b14c
parent 16252 8cddc62ed170
child 16869 bc98da5727be
equal deleted inserted replaced
16867:cf7d61d56acf 16868:eaafda56b14c
       
     1 
       
     2 * July 2005: Florian Haftmann, TUM
       
     3   Some combinators for linear functional transformations in ML:
       
     4   |->  #->  fold_yield  etc.
     1 
     5 
     2 * May 2005: Rafal Kolanski, NICTA
     6 * May 2005: Rafal Kolanski, NICTA
     3   Substantially improved retrieval of facts from theory/proof context.
     7   Substantially improved retrieval of facts from theory/proof context.
     4 
     8 
     5 * May 2005: Florian Haftmann, TUM
     9 * May 2005: Florian Haftmann, TUM