2009-09-21 Cezary Kaliszyk The tactic with REPEAT, CHANGED and a proper simpset.
2009-09-21 Cezary Kaliszyk Merged with my changes from the morning:
2009-09-20 Ning some more beautification
2009-09-20 Ning beautification of some proofs
2009-09-18 Cezary Kaliszyk Added more useful quotient facts.
2009-09-18 Cezary Kaliszyk Testing the tactic further.
2009-09-17 Cezary Kaliszyk The tactic still only for fset
2009-09-17 Cezary Kaliszyk Infrastructure for the tactic
Loading...
(0) -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip