2009-10-16 | Cezary Kaliszyk | Progressing with the proof | file | diff | annotate |
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 |
2009-08-11 | Christian Urban | initial commit | file | diff | annotate |