Thu, 17 Feb 2011 21:37:52 -0800 Kevin Walker clarified what's small and what's not in the proof of the small blob lemma for BT_*
Mon, 14 Feb 2011 09:14:26 +1100 Scott Morrison removing unnecessary preamble.tex
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 tip