Wed, 21 Oct 2009 15:01:50 +0200 Cezary Kaliszyk Simplified proof more
Wed, 21 Oct 2009 14:30:29 +0200 Cezary Kaliszyk Cleaning the code
Wed, 21 Oct 2009 14:15:22 +0200 Cezary Kaliszyk Further reorganization
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip