| 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 |