preamble.tex
Mon, 31 May 2010 12:44:19 -0700 Kevin Walker converting sphere axiom to a proposition; still need to make similar changes in module axioms
Fri, 28 May 2010 13:06:58 -0700 Scott Morrison working on smallblobs.tex. messed up some oof the module stuff, will fix again momentarily
Thu, 27 May 2010 14:04:06 -0700 Scott Morrison \mapsfrom
Sat, 15 May 2010 10:46:37 -0500 Scott Morrison minor
less more (0) -30 -10 -4 tip