00README.XXX
author Kevin Walker <kevin@canyon23.net>
Sat, 22 May 2010 12:17:23 -0600
changeset 275 81d7c550b3da
parent 8 15e6335ff1d4
permissions -rw-r--r--
finshed proof of main lemma in famodiff appendix

nohypertex