| Mon, 21 Feb 2005 15:04:10 +0100 | nipkow | comprehensive cleanup, replacing sumr by setsum | changeset | files |
| Sat, 19 Feb 2005 18:44:34 +0100 | dixon | lucas - re-arranged code and added comments. Also added check to make sure the subgoal that we are being applied to exists. If it does not, empty seq is returned. | changeset | files |
| Fri, 18 Feb 2005 15:20:27 +0100 | nipkow | continued eliminating sumr | changeset | files |