2010-01-20 | Cezary Kaliszyk | term1_hom as a function | changeset | files |
2010-01-19 | Cezary Kaliszyk | A version of hom with quantifiers. | changeset | files |
2010-01-17 | Christian Urban | added permutation functions for the raw calculi | changeset | files |
2010-01-16 | Christian Urban | fixed broken (partial) proof | changeset | files |
Loading... |