Mon, 12 Dec 2011 15:01:37 -0800 | Kevin Walker | remove lemma 3.2.3 (support-shrink lemma); it was only used once | file | diff | annotate |
Sun, 11 Dec 2011 21:41:45 -0800 | Kevin Walker | minor -- mostly done with Section 6 | file | diff | annotate |
Thu, 08 Dec 2011 23:13:48 -0800 | Kevin Walker | minor | file | diff | annotate |
Thu, 08 Dec 2011 15:57:34 -0800 | Kevin Walker | minor - Section 3.2 | file | diff | annotate |