| Fri, 02 Dec 2005 16:05:31 +0100 | haftmann | various improvements | changeset | files |
| Fri, 02 Dec 2005 16:05:12 +0100 | haftmann | adjusted to improved code generator interface | changeset | files |
| Fri, 02 Dec 2005 16:04:48 +0100 | haftmann | added perhaps option combinator | changeset | files |
| Fri, 02 Dec 2005 16:04:29 +0100 | haftmann | adopted keyword for code generator | changeset | files |
| Fri, 02 Dec 2005 13:10:12 +0100 | berghofe | Factored out proof for normalization of applications (norm_list). | changeset | files |
| Fri, 02 Dec 2005 08:06:59 +0100 | haftmann | introduced new map2, fold | changeset | files |
| Thu, 01 Dec 2005 22:43:15 +0100 | kleing | typo | changeset | files |
| Thu, 01 Dec 2005 22:04:27 +0100 | wenzelm | simprocs: static evaluation of simpset; | changeset | files |