| Tue, 09 Nov 2010 14:22:02 +0900 | Scott Morrison | making pinched products axioms terser, and writing a short proof of the higher deligne conjecture | changeset | files |
| Tue, 09 Nov 2010 14:03:58 +0900 | Scott Morrison | adding some figures for the axioms | changeset | files |