Mon, 29 Jul 1996 18:30:01 +0200 | paulson | Added two new distributive laws | changeset | files |
Fri, 26 Jul 1996 12:31:04 +0200 | paulson | Addition of rev_notE | changeset | files |
Fri, 26 Jul 1996 12:27:22 +0200 | paulson | Inserted spaces in error messages to improve readability | changeset | files |