Thu, 26 Jun 2008 17:56:20 +0000 | kevin | finished with evaluation map stuff for now. | file | diff | annotate |
Tue, 24 Jun 2008 19:46:06 +0000 | kevin | continuing work of evaluation map proof | file | diff | annotate |
Tue, 24 Jun 2008 02:50:02 +0000 | kevin | begin reworking/completion of evaluation map stuff | file | diff | annotate |
Sun, 08 Jun 2008 21:34:46 +0000 | scott | rearranging the Hochschild section. Splitting things up into lemmas, and explaining why those lemmas are what we need. | file | diff | annotate |
Thu, 29 May 2008 05:07:03 +0000 | scott | ... | file | diff | annotate |
Thu, 24 Apr 2008 04:16:53 +0000 | scott | ... | file | diff | annotate |