Thu, 22 Oct 2009 01:59:17 +0200 Christian Urban tuned and attempted to store data about the quotients (does not work yet)
Thu, 22 Oct 2009 01:16:42 +0200 Christian Urban tuned
Thu, 22 Oct 2009 01:15:01 +0200 Christian Urban slight tuning
Wed, 21 Oct 2009 18:30:42 +0200 Christian Urban fixed my_reg
Wed, 21 Oct 2009 16:13:39 +0200 Cezary Kaliszyk Reorganization of the construction part
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
(0) -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip