| 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 |
| Tue, 15 Feb 2005 16:56:15 +0100 | berghofe | refine now provides specific cases "goal1" ... "goaln" for addressing | changeset | files |
| Mon, 14 Feb 2005 10:24:58 +0100 | paulson | simplified a proof | changeset | files |