| Sun, 25 Sep 2011 22:31:22 -0600 |
Kevin Walker |
remove TOP; searched of "topological" and "PL" to find places where we mention TOP
|
file |
diff |
annotate
|
| Sun, 25 Sep 2011 22:13:07 -0600 |
Kevin Walker |
small ref rpt item (I looked and there was nothing other than 5.1.5 and 7.3.1)
|
file |
diff |
annotate
|
| Wed, 10 Aug 2011 21:46:27 -0600 |
Kevin Walker |
another intermediate commit for fam-o-homeo lemma; found another flaw in proof
|
file |
diff |
annotate
|
| 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
|