Fri, 28 Jan 2011 19:17:40 +0000 slightly tuned the main lemma and the finiteness proofs
urbanc [Fri, 28 Jan 2011 19:17:40 +0000] rev 47
slightly tuned the main lemma and the finiteness proofs
Fri, 28 Jan 2011 12:53:01 +0000 test
wu [Fri, 28 Jan 2011 12:53:01 +0000] rev 46
test
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip