00README.XXX
author Scott Morrison <scott@tqft.net>
Sun, 14 Nov 2010 17:28:04 -0800
changeset 622 dda6d3a00b09
parent 8 15e6335ff1d4
permissions -rw-r--r--
minor tweaks in sketch proofs

nohypertex