2009-10-23 | Cezary Kaliszyk | Split Finite Set example into separate file | changeset | files |
2009-10-23 | Cezary Kaliszyk | eqsubst_tac | changeset | files |
2009-10-23 | Cezary Kaliszyk | Trying to get a simpler lemma with the whole infrastructure | changeset | files |
2009-10-23 | Cezary Kaliszyk | Using RANGE tactical allows getting rid of the quotients immediately. | changeset | files |
Loading... |