00README.XXX
author Kevin Walker <kevin@canyon23.net>
Mon, 12 Dec 2011 15:01:37 -0800
changeset 961 c57afb230bb1
parent 8 15e6335ff1d4
permissions -rw-r--r--
remove lemma 3.2.3 (support-shrink lemma); it was only used once
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
nohypertex