| 2009-10-22 | Cezary Kaliszyk | Working on the proof and the tactic. | file | diff | annotate |
| 2009-10-22 | Cezary Kaliszyk | The proof gets simplified | file | diff | annotate |
| 2009-10-22 | Cezary Kaliszyk | The proof now including manually unfolded higher-order RES_FORALL_RSP. | file | diff | annotate |