2009-09-21 | Cezary Kaliszyk | The tactic with REPEAT, CHANGED and a proper simpset. | changeset | files |
2009-09-21 | Cezary Kaliszyk | Merged with my changes from the morning: | changeset | files |
2009-09-20 | Ning | some more beautification | changeset | files |
2009-09-20 | Ning | beautification of some proofs | changeset | files |
2009-09-18 | Cezary Kaliszyk | Added more useful quotient facts. | changeset | files |
2009-09-18 | Cezary Kaliszyk | Testing the tactic further. | changeset | files |
2009-09-17 | Cezary Kaliszyk | The tactic still only for fset | changeset | files |
2009-09-17 | Cezary Kaliszyk | Infrastructure for the tactic | changeset | files |
Loading... |