Fri, 28 Jan 2011 19:17:40 +0000 urbanc slightly tuned the main lemma and the finiteness proofs
Fri, 28 Jan 2011 12:53:01 +0000 wu test
Fri, 28 Jan 2011 11:52:11 +0000 zhang More improvement
(0) -30 -10 -3 +3 +10 +30 +100 +300 tip