CONTRIBUTORS
author wenzelm
Fri, 15 Jul 2005 15:45:04 +0200
changeset 16868 eaafda56b14c
parent 16252 8cddc62ed170
child 16869 bc98da5727be
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16868
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     1
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     2
* July 2005: Florian Haftmann, TUM
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     3
  Some combinators for linear functional transformations in ML:
eaafda56b14c *** empty log message ***
wenzelm
parents: 16252
diff changeset
     4
  |->  #->  fold_yield  etc.
15968
wenzelm
parents:
diff changeset
     5
wenzelm
parents:
diff changeset
     6
* May 2005: Rafal Kolanski, NICTA
wenzelm
parents:
diff changeset
     7
  Substantially improved retrieval of facts from theory/proof context.
15993
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
     8
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
     9
* May 2005: Florian Haftmann, TUM
99320adfbf3a updated;
wenzelm
parents: 15968
diff changeset
    10
  Several new antiquotation.
15994
dd9023d84f44 proper Id line;
wenzelm
parents: 15993
diff changeset
    11
16252
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    12
* February 2005: Lucas Dixon, University of Edinburgh
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    13
  Substantially improved subst method.
8cddc62ed170 Lucas Dixon;
wenzelm
parents: 15994
diff changeset
    14
15994
dd9023d84f44 proper Id line;
wenzelm
parents: 15993
diff changeset
    15
$Id$