Sat, 21 Nov 2009 14:18:31 +0100 Christian Urban tried to prove the repabs_inj lemma, but failed for the moment
Sat, 21 Nov 2009 13:14:35 +0100 Christian Urban my first version of repabs injection
Sat, 21 Nov 2009 11:16:48 +0100 Christian Urban tuned
Sat, 21 Nov 2009 10:58:08 +0100 Christian Urban tunded
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip