Tue, 25 Jan 2011 10:15:35 -0800 | Scott Morrison | some suggestions from kevin | changeset | files |
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 |