| Sat, 31 Oct 2009 11:20:55 +0100 | Cezary Kaliszyk | Automatic computation of application preservation and manually finished "alpha.induct". Slow... | file | diff | annotate |
| Fri, 30 Oct 2009 19:03:53 +0100 | Cezary Kaliszyk | Regularize for equalities and a better tactic. "alpha.cases" now lifts. | file | diff | annotate |
| Wed, 28 Oct 2009 18:08:38 +0100 | Cezary Kaliszyk | disambiguate ===> syntax | file | diff | annotate |
| Wed, 28 Oct 2009 14:59:24 +0100 | Cezary Kaliszyk | First experiments with Lambda | file | diff | annotate |
| Mon, 26 Oct 2009 10:20:20 +0100 | Cezary Kaliszyk | Finished COND_PRS proof. | file | diff | annotate |
| Mon, 26 Oct 2009 10:02:50 +0100 | Cezary Kaliszyk | Cleaning and fixing. | file | diff | annotate |
| Sun, 25 Oct 2009 01:15:03 +0200 | Christian Urban | proved the two lemmas in QuotScript (reformulated them without leading forall) | file | diff | annotate |