| 2009-10-24 | Cezary Kaliszyk | More infrastructure for automatic lifting of theorems lifted before | file | diff | annotate |
| 2009-10-24 | cek | Better tactic and simplified the proof further | file | diff | annotate |
| 2009-10-23 | Cezary Kaliszyk | eqsubst_tac | file | diff | annotate |
| 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 |