CONTRIBUTORS
author wenzelm
Fri Jul 15 15:45:04 2005 +0200 (2005-07-15)
changeset 16868 eaafda56b14c
parent 16252 8cddc62ed170
child 16869 bc98da5727be
permissions -rw-r--r--
*** empty log message ***
     1 
     2 * July 2005: Florian Haftmann, TUM
     3   Some combinators for linear functional transformations in ML:
     4   |->  #->  fold_yield  etc.
     5 
     6 * May 2005: Rafal Kolanski, NICTA
     7   Substantially improved retrieval of facts from theory/proof context.
     8 
     9 * May 2005: Florian Haftmann, TUM
    10   Several new antiquotation.
    11 
    12 * February 2005: Lucas Dixon, University of Edinburgh
    13   Substantially improved subst method.
    14 
    15 $Id$