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