2010-03-24 | Cezary Kaliszyk | Solved one of the strong-induction goals. | changeset | files |
2010-03-24 | Cezary Kaliszyk | avoiding for atom. | changeset | files |
2010-03-24 | Cezary Kaliszyk | Started proving strong induction. | changeset | files |
2010-03-24 | Cezary Kaliszyk | stating the strong induction; further. | changeset | files |
2010-03-24 | Cezary Kaliszyk | Working on stating induct. | changeset | files |
2010-03-24 | Christian Urban | some tuning; possible fix for strange paper generation | changeset | files |
2010-03-24 | Christian Urban | more on the paper | changeset | files |
2010-03-24 | Cezary Kaliszyk | merge | changeset | files |
Loading... |