changeset 913 | 75c1e11d0f25 |
parent 909 | f194ed15587b |
child 914 | db365e67adf6 |
--- a/blob to-do Fri Oct 14 08:35:15 2011 -0700 +++ b/blob to-do Sat Oct 22 13:26:53 2011 -0600 @@ -1,10 +1,6 @@ ====== big ====== -* double-check for mentions of TOP - -* (maybe) say somewhere what's missing for TOP - * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom * probably should go through and refer to new splitting axiom when we need to choose refinements etc.