| 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 |