Fri, 29 Oct 2010 11:37:00 +0900 Scott Morrison fixing a type
Tue, 02 Nov 2010 06:38:40 -0700 Kevin Walker enrichment; decompositions (meta)
Tue, 02 Nov 2010 06:18:43 -0700 Kevin Walker restore and complete the fragment
Tue, 02 Nov 2010 21:22:53 +0900 Scott Morrison various, mostly working on axioms
Tue, 02 Nov 2010 08:41:11 +0900 Scott Morrison minor
Mon, 01 Nov 2010 08:40:51 -0700 Kevin Walker misc
Sun, 31 Oct 2010 22:56:33 -0700 Kevin Walker minor
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip