| 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 |