Tue, 29 Sep 2009 11:55:37 +0200 Cezary Kaliszyk Partially fix lifting of card_suc. The quantified variable still needs to be changed.
Tue, 29 Sep 2009 10:49:31 +0200 Cezary Kaliszyk Tested new build_goal and removed old one, eq_reflection is included in atomize, card_suc tests.
(0) -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip