Wed, 30 Mar 2011 07:16:14 -0700 | Kevin Walker | fix definition of refinement of ball decomp (intermediate manifolds are disj unions of balls) | file | diff | annotate |
Thu, 24 Mar 2011 10:06:09 -0700 | Kevin Walker | added 2nd parameter to the two bordism examples | file | diff | annotate |
Wed, 23 Mar 2011 15:33:48 -0700 | Scott Morrison | neat embedding for bordism category | file | diff | annotate |