| 2010-02-26 | Cezary Kaliszyk | Progress with general lifting procedure. | changeset | files |
| 2010-02-26 | Cezary Kaliszyk | RSP of perms can be shown in one go. | changeset | files |
| 2010-02-26 | Cezary Kaliszyk | Change in signature of prove_const_rsp for general lifting. | changeset | files |
| 2010-02-26 | Cezary Kaliszyk | Permutation and FV_Alpha interface change. | changeset | files |
| 2010-02-26 | Cezary Kaliszyk | To call quotient it is enough to export the alpha frees to proper constants and their respective equivp theorems. | changeset | files |
| 2010-02-25 | Cezary Kaliszyk | merge | changeset | files |
| 2010-02-25 | Cezary Kaliszyk | Preparing the generalized lifting procedure | changeset | files |
| Loading... | |||