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 ***
wenzelm@16868
     1
wenzelm@16868
     2
* July 2005: Florian Haftmann, TUM
wenzelm@16868
     3
  Some combinators for linear functional transformations in ML:
wenzelm@16868
     4
  |->  #->  fold_yield  etc.
wenzelm@15968
     5
wenzelm@15968
     6
* May 2005: Rafal Kolanski, NICTA
wenzelm@15968
     7
  Substantially improved retrieval of facts from theory/proof context.
wenzelm@15993
     8
wenzelm@15993
     9
* May 2005: Florian Haftmann, TUM
wenzelm@15993
    10
  Several new antiquotation.
wenzelm@15994
    11
wenzelm@16252
    12
* February 2005: Lucas Dixon, University of Edinburgh
wenzelm@16252
    13
  Substantially improved subst method.
wenzelm@16252
    14
wenzelm@15994
    15
$Id$