Tue, 24 Nov 2009 08:36:28 +0100 Cezary Kaliszyk Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.
Tue, 24 Nov 2009 08:35:04 +0100 Cezary Kaliszyk More fixes for inj_REPABS
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip