| Thu, 11 Mar 2010 14:09:54 +0100 | Cezary Kaliszyk | looking at trm5_equivp | file | diff | annotate |
| Thu, 11 Mar 2010 13:44:54 +0100 | Cezary Kaliszyk | The alpha5_eqvt tactic works if I manage to build the goal. | file | diff | annotate |
| Wed, 10 Mar 2010 16:58:14 +0100 | Cezary Kaliszyk | More tries about the proofs in trm5 | file | diff | annotate |
| Wed, 10 Mar 2010 15:40:15 +0100 | Cezary Kaliszyk | alpha_equivp for trm5 | file | diff | annotate |
| Wed, 10 Mar 2010 14:47:04 +0100 | Cezary Kaliszyk | Looking at alpha_eqvt for term5, not much progress. | file | diff | annotate |
| Wed, 10 Mar 2010 11:39:28 +0100 | Cezary Kaliszyk | Testing equalities in trm5, all seems good. | file | diff | annotate |
| Mon, 01 Mar 2010 16:04:03 +0100 | Cezary Kaliszyk | The new alpha-equivalence and testing in Trm2 and Trm5. | file | diff | annotate |
| Mon, 01 Mar 2010 14:26:14 +0100 | Christian Urban | slight simplification of the raw-decl generation | file | diff | annotate |