| Mon, 21 Feb 2005 15:57:45 +0100 | nipkow | removed superfluous setsum_constant | changeset | files |
| 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 |
| Fri, 18 Feb 2005 11:48:53 +0100 | nipkow | starting to get rid of sumr | changeset | files |
| Fri, 18 Feb 2005 11:48:42 +0100 | nipkow | tuning | changeset | files |
| Wed, 16 Feb 2005 19:00:49 +0100 | nipkow | *** empty log message *** | changeset | files |