2009-09-25 Christian Urban tuned slightly one proof
2009-09-25 Cezary Kaliszyk A version of the tactic that exports variables correctly.
Loading...
(0) -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip