Wed, 22 Oct 2008 21:56:42 +0000 revise to-do list
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Wed, 22 Oct 2008 21:56:42 +0000] rev 45
revise to-do list
Tue, 26 Aug 2008 23:13:07 +0000 done (for now) revising proof of eval map stuff.
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Tue, 26 Aug 2008 23:13:07 +0000] rev 44
done (for now) revising proof of eval map stuff.
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip