blob to-do
changeset 918 80fe92f8f81f
parent 914 db365e67adf6
child 919 259bef1b5dad
--- 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)