CONTRIBUTORS
author haftmann
Mon Jul 18 14:10:11 2005 +0200 (2005-07-18)
changeset 16869 bc98da5727be
parent 16868 eaafda56b14c
child 16892 23887fee6071
permissions -rw-r--r--
reverted from fold_yield to fold_map
     1 
     2 * July 2005: Florian Haftmann, TUM
     3   Some combinators for linear functional transformations in ML:
     4   |->  #->  fold_map  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$