Mon, 19 Jul 2010 08:43:02 -0700 | Scott Morrison | removing superscripts from \bc | changeset | files |
Mon, 19 Jul 2010 08:42:24 -0700 | Scott Morrison | weaking thm:CH for iterated homotopy | changeset | files |
Mon, 19 Jul 2010 08:21:06 -0700 | Scott Morrison | minor fixes in smallblobs | changeset | files |
Mon, 19 Jul 2010 07:45:26 -0600 | Kevin Walker | starting on comparing_defs.tex | changeset | files |