diff -r 9d0b9ffcd86b -r 80fe92f8f81f blob to-do --- a/blob to-do Sun Oct 23 13:52:15 2011 -0600 +++ b/blob to-do Sun Oct 23 15:03:53 2011 -0600 @@ -1,8 +1,6 @@ ====== big ====== -* 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 - * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)