Sun, 14 Nov 2010 17:28:04 -0800 | Scott Morrison | minor tweaks in sketch proofs | changeset | files |
Sun, 14 Nov 2010 16:33:36 -0800 | Kevin Walker | Automated merge with https://tqft.net/hg/blob/ | changeset | files |
Sun, 14 Nov 2010 16:33:18 -0800 | Kevin Walker | adding some proof sketches | changeset | files |