| Wed, 03 Feb 2010 09:25:21 +0100 | Cezary Kaliszyk | The trm1_support lemma explicitly and stated a strong induction principle. | changeset | files |
| Wed, 03 Feb 2010 08:32:24 +0100 | Cezary Kaliszyk | More ingredients in Terms. | changeset | files |
| Tue, 02 Feb 2010 17:10:42 +0100 | Cezary Kaliszyk | Finished the supp_fv proof; first proof that analyses the structure of 'Let' :) | changeset | files |
| Tue, 02 Feb 2010 16:51:00 +0100 | Cezary Kaliszyk | More in Terms | changeset | files |
| Tue, 02 Feb 2010 14:55:07 +0100 | Cezary Kaliszyk | First experiments in Terms. | changeset | files |
| Tue, 02 Feb 2010 13:10:46 +0100 | Cezary Kaliszyk | LF ported to alpha_gen, equivp solved and one of the missing proofs in support<-> fv solved. Still some supp properties left. | changeset | files |