00README.XXX
author Kevin Walker <kevin@canyon23.net>
Sat, 14 May 2011 11:42:48 -0700
changeset 784 bd9538de8248
parent 8 15e6335ff1d4
permissions -rw-r--r--
more on colimits; still not done

nohypertex