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