| Tue, 25 Jan 2011 14:57:07 -0800 | Scott Morrison | minor | file | diff | annotate |
| Tue, 25 Jan 2011 13:07:38 -0800 | Scott Morrison | minor tweaks in talk | file | diff | annotate |
| Tue, 25 Jan 2011 10:15:35 -0800 | Scott Morrison | some suggestions from kevin | file | diff | annotate |
| Tue, 25 Jan 2011 00:30:50 -0800 | Scott Morrison | axioms (unfinished) and a bit about cell decompositions | file | diff | annotate |