Thu, 02 Sep 2004 14:50:00 +0200 | dixon | added code to make use of case splitting to prove the specification equations for recursive definitions. | changeset | files |
Thu, 02 Sep 2004 11:29:06 +0200 | paulson | fixed presentation | changeset | files |
Wed, 01 Sep 2004 15:04:01 +0200 | paulson | new "respects" syntax for quotienting | changeset | files |