Sun, 26 Oct 2008 03:57:55 +0000 | kevin | minor cleanup of the start of the hochschild section | changeset | files |
Wed, 22 Oct 2008 21:56:42 +0000 | kevin | revise to-do list | changeset | files |
Tue, 26 Aug 2008 23:13:07 +0000 | kevin | done (for now) revising proof of eval map stuff. | changeset | files |