| Tue, 20 Nov 2001 20:56:13 +0100 | wenzelm | added prefixes1, suffixes1; | changeset | files |
| Tue, 20 Nov 2001 20:55:50 +0100 | wenzelm | print_depth 10; | changeset | files |
| Tue, 20 Nov 2001 20:55:33 +0100 | wenzelm | derive cases/induct rules for ``more'' parts; | changeset | files |