00README.XXX
author Kevin Walker <kevin@canyon23.net>
Mon, 04 Jul 2011 10:25:42 -0600
changeset 845 c9b55efd79dd
parent 8 15e6335ff1d4
permissions -rw-r--r--
added splittability axiom for fields

nohypertex