Tue, 26 Aug 2008 23:13:07 +0000 kevin done (for now) revising proof of eval map stuff.
(0) -30 -10 -1 +1 +10 +30 +100 +300 tip