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
Mon, 19 Jul 2010 07:45:26 -0600 Kevin Walker starting on comparing_defs.tex
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip