2009-10-22 | Cezary Kaliszyk | Removed an assumption | file | diff | annotate |
2009-10-22 | Cezary Kaliszyk | The proof now including manually unfolded higher-order RES_FORALL_RSP. | file | diff | annotate |
2009-10-22 | Cezary Kaliszyk | The problems with 'abs' term. | file | diff | annotate |
2009-10-17 | Cezary Kaliszyk | Partial simplification of the proof | file | diff | annotate |
2009-10-16 | Cezary Kaliszyk | Symmetric version of REP_ABS_RSP | file | diff | annotate |
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 |