| Tue, 01 Jul 2008 01:53:15 +0000 | scott | rearranging; stating all the "properties" up front | file | diff | annotate |
| Mon, 30 Jun 2008 20:20:52 +0000 | scott | ... | file | diff | annotate |
| Mon, 30 Jun 2008 13:02:57 +0000 | kevin | ... | file | diff | annotate |
| Fri, 27 Jun 2008 04:24:25 +0000 | scott | ... | file | diff | annotate |
| 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 |