Thu, 22 Jul 2010 19:32:40 -0600 | Kevin Walker | radically shorter a-inf appendix | changeset | files |
Thu, 22 Jul 2010 16:16:58 -0600 | Kevin Walker | dual module (non-)definition; other minor stuff | changeset | files |
Thu, 22 Jul 2010 15:35:26 -0600 | Kevin Walker | redefine "permissible decomp", and other changes to ntcat.tex; should be read | changeset | files |
Thu, 22 Jul 2010 13:22:34 -0600 | Kevin Walker | blobdef.tex | changeset | files |