Wed, 10 Aug 2011 13:30:17 -0600 |
Kevin Walker |
intermediate commit -- not done yet
|
file |
diff |
annotate
|
Wed, 10 Aug 2011 13:11:59 -0600 |
Kevin Walker |
intermediate commit -- not done yet
|
file |
diff |
annotate
|
Wed, 10 Aug 2011 11:08:14 -0600 |
Kevin Walker |
more work on fam-o-homeo lemma
|
file |
diff |
annotate
|
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
|