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 |
Mon, 04 Aug 2008 20:34:48 +0000 | kevin | Q.I => hty equiv for free complexes | changeset | files |