| Thu, 13 Oct 2011 10:54:06 -0700 | Kevin Walker | in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case | changeset | files |
| Wed, 12 Oct 2011 17:50:00 -0700 | Kevin Walker | a little more on operad action | changeset | files |
| Wed, 12 Oct 2011 15:10:54 -0700 | Kevin Walker | operad action only up to homotopy; still need to think about this a bit | changeset | files |
| Sat, 08 Oct 2011 17:35:05 -0700 | Kevin Walker | marked balls start at k=1, not k=0 | changeset | files |