Thu, 26 Jun 2008 17:56:20 +0000 finished with evaluation map stuff for now.
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Thu, 26 Jun 2008 17:56:20 +0000] rev 18
finished with evaluation map stuff for now.
Tue, 24 Jun 2008 19:46:06 +0000 continuing work of evaluation map proof
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Tue, 24 Jun 2008 19:46:06 +0000] rev 17
continuing work of evaluation map proof
Tue, 24 Jun 2008 02:50:02 +0000 begin reworking/completion of evaluation map stuff
kevin@6e1638ff-ae45-0410-89bd-df963105f760 [Tue, 24 Jun 2008 02:50:02 +0000] rev 16
begin reworking/completion of evaluation map stuff
Sun, 08 Jun 2008 21:34:46 +0000 rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
scott@6e1638ff-ae45-0410-89bd-df963105f760 [Sun, 08 Jun 2008 21:34:46 +0000] rev 15
rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need.
(0) -10 -4 +4 +10 +30 +100 +300 tip