| 2009-11-26 | Christian Urban | fixed QuotList | file | diff | annotate |
| 2009-11-26 | Christian Urban | changed left-res | file | diff | annotate |
| 2009-11-26 | Cezary Kaliszyk | Manually regularized akind_aty_atrm.induct | file | diff | annotate |
| 2009-11-13 | Cezary Kaliszyk | Still don't know how to do the proof automatically. | file | diff | annotate |
| 2009-10-31 | Cezary Kaliszyk | Automatic computation of application preservation and manually finished "alpha.induct". Slow... | file | diff | annotate |
| 2009-10-30 | Cezary Kaliszyk | Regularize for equalities and a better tactic. "alpha.cases" now lifts. | file | diff | annotate |
| 2009-10-28 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |