| 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 |