2010-03-15 | Cezary Kaliszyk | fv_eqvt_cheat no longer needed. | changeset | files |
2010-03-15 | Cezary Kaliszyk | derive "inducts" from "induct" instead of lifting again is much faster. | changeset | files |
2010-03-15 | Cezary Kaliszyk | build_eqvts works with recursive case if proper induction rule is used. | changeset | files |
Loading... |