Thu, 23 Sep 1999 13:09:39 +0200 | paulson | The restrict_to_left rule fixes some bugs | changeset | files |
Thu, 23 Sep 1999 13:07:25 +0200 | paulson | Sets new component "restrict_to_left" | changeset | files |
Thu, 23 Sep 1999 13:06:31 +0200 | paulson | tidied; added lemma restrict_to_left | changeset | files |