| Thu, 12 Nov 2009 13:56:07 +0100 | Cezary Kaliszyk | merged | changeset | files |
| Thu, 12 Nov 2009 12:15:41 +0100 | Christian Urban | added a FIXME commment | changeset | files |
| Thu, 12 Nov 2009 12:07:33 +0100 | Christian Urban | looking up data in quot_info works now (needs qualified string) | changeset | files |
| Thu, 12 Nov 2009 02:54:40 +0100 | Christian Urban | changed the quotdata to be a symtab table (needs fixing) | changeset | files |
| Thu, 12 Nov 2009 02:18:36 +0100 | Christian Urban | added a container for quotient constants (does not work yet though) | changeset | files |
| 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 |