Sat, 21 Nov 2009 14:18:31 +0100 | Christian Urban | tried to prove the repabs_inj lemma, but failed for the moment | changeset | files |
Sat, 21 Nov 2009 13:14:35 +0100 | Christian Urban | my first version of repabs injection | changeset | files |
Sat, 21 Nov 2009 11:16:48 +0100 | Christian Urban | tuned | changeset | files |
Sat, 21 Nov 2009 10:58:08 +0100 | Christian Urban | tunded | changeset | files |