Wed, 11 Nov 2009 22:30:43 +0100 | Cezary Kaliszyk | Lifting towards goal and manually finished the proof. | changeset | files |
Wed, 11 Nov 2009 18:51:59 +0100 | Cezary Kaliszyk | merge | changeset | files |
Wed, 11 Nov 2009 18:49:46 +0100 | Cezary Kaliszyk | Modifications while preparing the goal-directed version. | changeset | files |