| Thu, 30 Aug 2001 17:49:46 +0200 | oheimb | cosmetics | changeset | files |
| Thu, 30 Aug 2001 15:47:30 +0200 | oheimb | removed imname, uncurried Meth | changeset | files |
| Wed, 29 Aug 2001 21:17:24 +0200 | wenzelm | avoid ML bindings; | changeset | files |
| Tue, 28 Aug 2001 14:25:26 +0200 | nipkow | Implemented indentation schema for conditional rewrite trace. | changeset | files |
| Thu, 23 Aug 2001 14:32:48 +0200 | nipkow | Traced depth of conditional rewriting | changeset | files |
| Tue, 21 Aug 2001 20:09:09 +0200 | wenzelm | tuned error message; | changeset | files |
| Thu, 16 Aug 2001 23:19:12 +0200 | wenzelm | prefer immediate monos; | changeset | files |