2010-02-18 | Cezary Kaliszyk | Replace Terms by Terms2. | changeset | files |
2010-02-18 | Cezary Kaliszyk | Fixed proofs in Terms2 and found a mistake in Terms. | changeset | files |
2010-02-17 | Cezary Kaliszyk | Terms2 with bindings for binders synchronized with bindings they are used in. | changeset | files |
2010-02-17 | Cezary Kaliszyk | Cleaning of proofs in Terms. | changeset | files |
Loading... |