| Tue, 10 Mar 1998 14:27:44 +0100 | wenzelm | adhoc fix of is_blank; | changeset | files |
| Tue, 10 Mar 1998 13:27:13 +0100 | nipkow | New scanner in abstract form. | changeset | files |
| Tue, 10 Mar 1998 13:24:11 +0100 | nipkow | New simplifier flag for mutual simplification. | changeset | files |