2009-11-30 | Christian Urban | added facilities to get all stored quotient data (equiv thms etc) | file | diff | annotate |
2009-11-29 | Christian Urban | introduced a global list of respectfulness lemmas; the attribute is [quot_rsp] | file | diff | annotate |
2009-11-27 | Christian Urban | deleted obsolete qenv code | file | diff | annotate |
2009-11-21 | Christian Urban | slight tuning | file | diff | annotate |
2009-11-21 | Christian Urban | tunded | file | diff | annotate |
2009-11-21 | Christian Urban | flagged qenv-stuff as obsolete | file | diff | annotate |
2009-11-21 | Christian Urban | simplified get_fun so that it uses directly rty and qty, instead of qenv | file | diff | annotate |