Sat, 28 May 2011 21:45:13 -0600 | Kevin Walker | more details in C.1; reorganized to-do list | file | diff | annotate |
Fri, 27 May 2011 21:54:22 -0600 | Kevin Walker | more reorganization of n-cat defs | file | diff | annotate |
Wed, 25 May 2011 11:08:16 -0600 | Kevin Walker | corrected statement of module to category restrictions; note that this affects the numbering of items in subsection 6.4 | file | diff | annotate |
Fri, 13 May 2011 21:01:03 -0700 | Kevin Walker | merging by hand (?) | file | diff | annotate |