| 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 |
| Wed, 15 Aug 2001 22:20:30 +0200 | wenzelm | support for absolute namespace entry paths; | changeset | files |
| Fri, 10 Aug 2001 10:25:45 +0200 | paulson | Updated proofs to take advantage of additional theorems proved by "typedef" | changeset | files |