Fri, 22 Oct 2010 19:43:56 +0000 deleted two unnecessary lemmas
urbanc [Fri, 22 Oct 2010 19:43:56 +0000] rev 11
deleted two unnecessary lemmas
(0) -10 -1 +1 +10 +30 +100 +300 tip