Mon, 19 Jul 2010 08:43:02 -0700 Scott Morrison removing superscripts from \bc
Mon, 19 Jul 2010 08:42:24 -0700 Scott Morrison weaking thm:CH for iterated homotopy
Mon, 19 Jul 2010 08:21:06 -0700 Scott Morrison minor fixes in smallblobs
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip