| 2009-10-15 | Cezary Kaliszyk | A number of lemmas for REGULARIZE_TAC and regularizing card1. | file | diff | annotate |
| 2009-10-14 | Cezary Kaliszyk | Proving the proper RepAbs version | file | diff | annotate |
| 2009-10-14 | Cezary Kaliszyk | Manually regularized list_induct2 | file | diff | annotate |