| Fri, 27 Nov 2009 08:15:23 +0100 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| Thu, 26 Nov 2009 13:52:46 +0100 | Christian Urban | fixed QuotList | file | diff | annotate |
| Thu, 26 Nov 2009 13:46:00 +0100 | Christian Urban | changed left-res | file | diff | annotate |
| Thu, 26 Nov 2009 12:21:47 +0100 | Cezary Kaliszyk | Manually regularized akind_aty_atrm.induct | file | diff | annotate |