Thu, 24 Mar 2011 10:06:09 -0700 Kevin Walker added 2nd parameter to the two bordism examples
Thu, 24 Mar 2011 09:08:15 -0700 Kevin Walker invisible, unimportant changes
Wed, 23 Mar 2011 15:33:48 -0700 Scott Morrison neat embedding for bordism category
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 tip