Sun, 19 Dec 2010 07:43:32 +0000 Christian Urban a stronger statement for at_set_avoiding
Fri, 17 Dec 2010 01:01:44 +0000 Christian Urban tuned
Fri, 17 Dec 2010 00:39:27 +0000 Christian Urban tuned
Thu, 16 Dec 2010 08:42:48 +0000 Christian Urban simple cases for strong inducts done; infrastructure for the difficult ones is there
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip