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. | changeset | files |
Tue, 24 Nov 2009 08:35:04 +0100 | Cezary Kaliszyk | More fixes for inj_REPABS | changeset | files |