| Thu, 03 Dec 2009 13:59:53 +0100 | Christian Urban | first version of internalised quotient theorems; added FIXME-TODO | file | diff | annotate |
| Thu, 03 Dec 2009 12:22:19 +0100 | Cezary Kaliszyk | Added qoutient_consts dest for getting all the constant definitions in the cleaning step. | file | diff | annotate |
| Thu, 03 Dec 2009 12:17:23 +0100 | Cezary Kaliszyk | Added the definition to quotient constant data. | file | diff | annotate |
| Mon, 30 Nov 2009 12:26:08 +0100 | Christian Urban | added facilities to get all stored quotient data (equiv thms etc) | file | diff | annotate |
| Sun, 29 Nov 2009 03:59:18 +0100 | Christian Urban | introduced a global list of respectfulness lemmas; the attribute is [quot_rsp] | file | diff | annotate |
| Fri, 27 Nov 2009 02:35:50 +0100 | Christian Urban | deleted obsolete qenv code | file | diff | annotate |
| Sat, 21 Nov 2009 23:23:01 +0100 | Christian Urban | slight tuning | file | diff | annotate |