| Wed, 23 Jun 1999 10:37:29 +0200 | paulson | new distributive laws involving * and - | changeset | files |
| Wed, 23 Jun 1999 10:36:59 +0200 | paulson | rewrite rules to distribute CONSTANT multiplication over sum and difference; | changeset | files |
| Thu, 17 Jun 1999 10:43:05 +0200 | paulson | another snapshot, still not working | changeset | files |
| Thu, 17 Jun 1999 10:41:39 +0200 | paulson | new results about SKIP | changeset | files |
| Thu, 17 Jun 1999 10:39:30 +0200 | paulson | addition of drop_... operators with new results and simplification of old ones | changeset | files |
| Thu, 17 Jun 1999 10:36:03 +0200 | paulson | renamed UNION_... to UN_..., INTER_... to INT_... (to fit the convention) | changeset | files |
| Thu, 17 Jun 1999 10:35:01 +0200 | paulson | many new guarantees laws | changeset | files |