| 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 |
| Tue, 10 Mar 1998 13:23:35 +0100 | nipkow | Removed expand_split from simpset. | changeset | files |
| Mon, 09 Mar 1998 16:30:55 +0100 | wenzelm | removed pred; | changeset | files |
| Mon, 09 Mar 1998 16:17:28 +0100 | wenzelm | eliminated pred function; | changeset | files |
| Mon, 09 Mar 1998 16:16:21 +0100 | wenzelm | Symbol.explode; | changeset | files |