00README.XXX
author Scott Morrison <scott@tqft.net>
Thu, 06 Oct 2011 12:11:47 -0700
changeset 900 2efd26072c91
parent 8 15e6335ff1d4
permissions -rw-r--r--
more referee comments, mostly adding cross-references to examples, lemma-izing the fields -> ncats construction

nohypertex