| Tue, 18 Jun 1996 16:18:44 +0200 | paulson | Removal of list_all | changeset | files |
| Tue, 18 Jun 1996 16:17:38 +0200 | paulson | Translation infixes <->, etc., no longer available at top-level | changeset | files |
| Mon, 17 Jun 1996 16:51:47 +0200 | paulson | Inserted comment about problem 43 | changeset | files |
| Mon, 17 Jun 1996 16:51:11 +0200 | paulson | Removed quantification over lists | changeset | files |
| Mon, 17 Jun 1996 16:50:38 +0200 | paulson | Now exports Delrules | changeset | files |
| Mon, 17 Jun 1996 16:50:08 +0200 | paulson | Converted to use constdefs instead of defs | changeset | files |
| Fri, 14 Jun 1996 12:37:21 +0200 | paulson | Explicitly included add_mult_distrib & add_mult_distrib2 | changeset | files |