| Sun, 18 Oct 2009 00:52:10 +0200 | Christian Urban | the command "quotient" can now define more than one quotient at the same time; quotients need to be separated by and | changeset | files |
| Sat, 17 Oct 2009 16:06:54 +0200 | Cezary Kaliszyk | Partial simplification of the proof | changeset | files |
| Sat, 17 Oct 2009 15:42:57 +0200 | Cezary Kaliszyk | Some QUOTIENTS | changeset | files |
| Sat, 17 Oct 2009 14:16:57 +0200 | Cezary Kaliszyk | Only QUOTIENSs are left to fnish proof | changeset | files |
| Sat, 17 Oct 2009 12:44:58 +0200 | Cezary Kaliszyk | More higher order unification problems | changeset | files |
| Sat, 17 Oct 2009 12:31:48 +0200 | Cezary Kaliszyk | Merged | changeset | files |
| Sat, 17 Oct 2009 12:31:36 +0200 | Cezary Kaliszyk | Simplified | changeset | files |
| Sat, 17 Oct 2009 12:20:56 +0200 | Cezary Kaliszyk | Further in the proof | changeset | files |