| 2009-12-10 | Cezary Kaliszyk | With int_of_nat as a quotient_def, lemmas about it can be easily lifted. | changeset | files |
| 2009-12-10 | Christian Urban | merged | changeset | files |
| 2009-12-10 | Christian Urban | naming in this file cannot be made to agree to the original (PROBLEM?) | changeset | files |
| 2009-12-10 | Cezary Kaliszyk | Lifted some kind of induction. | changeset | files |
| Loading... | |||