Thu, 26 Jun 2008 17:56:20 +0000 | kevin | finished with evaluation map stuff for now. | changeset | files |
Tue, 24 Jun 2008 19:46:06 +0000 | kevin | continuing work of evaluation map proof | changeset | files |
Tue, 24 Jun 2008 02:50:02 +0000 | kevin | begin reworking/completion of evaluation map stuff | changeset | files |