equal
deleted
inserted
replaced
1 |
1 |
2 * July 2005: Florian Haftmann, TUM |
2 * July 2005: Florian Haftmann, TUM |
3 Some combinators for linear functional transformations in ML: |
3 Some combinators for linear functional transformations in ML: |
4 |-> #-> fold_yield etc. |
4 |-> #-> fold_map etc. |
5 |
5 |
6 * May 2005: Rafal Kolanski, NICTA |
6 * May 2005: Rafal Kolanski, NICTA |
7 Substantially improved retrieval of facts from theory/proof context. |
7 Substantially improved retrieval of facts from theory/proof context. |
8 |
8 |
9 * May 2005: Florian Haftmann, TUM |
9 * May 2005: Florian Haftmann, TUM |