2010-05-03 | Cezary Kaliszyk | alpha_eqvt_tac fixed to work when the existential is not at the top level. | changeset | files |
2010-05-03 | Cezary Kaliszyk | SingleLet and Ex3 work with NewParser. | changeset | files |
2010-05-03 | Cezary Kaliszyk | Comment | changeset | files |
2010-05-03 | Cezary Kaliszyk | Another example where only alpha_eqvt fails. | changeset | files |
2010-05-03 | Cezary Kaliszyk | Register only non-looping rules in eq_iff | changeset | files |
2010-05-03 | Cezary Kaliszyk | Equivariance fails for single let? | changeset | files |
Loading... |