Tue, 09 Aug 2011 19:28:39 -0600 |
Kevin Walker |
unfinished edits to fam-o-homeo lemma and EB_n algebra example
|
file |
diff |
annotate
|
Tue, 28 Jun 2011 15:44:04 -0700 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Thu, 16 Jun 2011 08:51:40 -0600 |
Kevin Walker |
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 14:15:19 -0600 |
Kevin Walker |
finished topological case of Appendix B
|
file |
diff |
annotate
|
Tue, 14 Jun 2011 19:28:48 -0600 |
Kevin Walker |
starting proof of adaptation lemma for continuous homeos
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 20:43:14 -0700 |
Kevin Walker |
breaking long lines
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 22:28:04 -0700 |
Kevin Walker |
misc minor changes
|
file |
diff |
annotate
|
Thu, 27 May 2010 17:52:46 -0700 |
Kevin Walker |
small/few changes to famodiff
|
file |
diff |
annotate
|
Thu, 27 May 2010 15:06:48 -0700 |
Scott Morrison |
many small changes to famodiff, mostly prose
|
file |
diff |
annotate
|
Thu, 27 May 2010 14:15:19 -0700 |
Scott Morrison |
removing 'explicit' families of diffeos partial proof
|
file |
diff |
annotate
|
Tue, 25 May 2010 16:50:55 -0700 |
Kevin Walker |
famodiff.tex maybe finished
|
file |
diff |
annotate
|
Tue, 25 May 2010 07:26:36 -0700 |
Kevin Walker |
fix dumb error
|
file |
diff |
annotate
|
Tue, 25 May 2010 07:20:16 -0700 |
Kevin Walker |
more famodiff.tex
|
file |
diff |
annotate
|
Sat, 22 May 2010 12:17:23 -0600 |
Kevin Walker |
finshed proof of main lemma in famodiff appendix
|
file |
diff |
annotate
|