Tue, 25 Jan 2011 00:30:50 -0800 Scott Morrison axioms (unfinished) and a bit about cell decompositions
Mon, 24 Jan 2011 21:50:56 -0800 Scott Morrison Automated merge with https://tqft.net/hg/blob/
Mon, 24 Jan 2011 21:50:45 -0800 Scott Morrison adjusting figure and proof of gluing per kevin's suggestions
Mon, 24 Jan 2011 18:29:31 -0700 Kevin Walker placeholder for change in def of string-diagram-fields
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip