| author | wenzelm |
| Tue, 19 Jul 2005 17:21:58 +0200 | |
| changeset 16886 | 7328996728a6 |
| parent 16869 | bc98da5727be |
| child 16892 | 23887fee6071 |
| permissions | -rw-r--r-- |
| 16868 | 1 |
|
2 |
* July 2005: Florian Haftmann, TUM |
|
3 |
Some combinators for linear functional transformations in ML: |
|
| 16869 | 4 |
|-> #-> fold_map etc. |
| 15968 | 5 |
|
6 |
* May 2005: Rafal Kolanski, NICTA |
|
7 |
Substantially improved retrieval of facts from theory/proof context. |
|
| 15993 | 8 |
|
9 |
* May 2005: Florian Haftmann, TUM |
|
10 |
Several new antiquotation. |
|
| 15994 | 11 |
|
| 16252 | 12 |
* February 2005: Lucas Dixon, University of Edinburgh |
13 |
Substantially improved subst method. |
|
14 |
||
| 15994 | 15 |
$Id$ |