Thu, 27 May 2010 15:06:48 -0700 | Scott Morrison | many small changes to famodiff, mostly prose | changeset | files |
Thu, 27 May 2010 14:15:19 -0700 | Scott Morrison | removing 'explicit' families of diffeos partial proof | changeset | files |
Thu, 27 May 2010 14:14:52 -0700 | Scott Morrison | spelling | changeset | files |
Thu, 27 May 2010 14:04:06 -0700 | Scott Morrison | \mapsfrom | changeset | files |
Tue, 25 May 2010 16:50:55 -0700 | Kevin Walker | famodiff.tex maybe finished | changeset | files |
Tue, 25 May 2010 07:26:36 -0700 | Kevin Walker | fix dumb error | changeset | files |
Tue, 25 May 2010 07:20:16 -0700 | Kevin Walker | more famodiff.tex | changeset | files |
Sat, 22 May 2010 12:17:23 -0600 | Kevin Walker | finshed proof of main lemma in famodiff appendix | changeset | files |