--- a/blob to-do Sun Sep 25 22:31:22 2011 -0600
+++ b/blob to-do Sun Sep 25 22:35:24 2011 -0600
@@ -4,9 +4,9 @@
* better discussion of systems of fields from disk-like n-cats
(Is this done by now?)
-* ?? say clearly that certain lemmas don't work for TOP; we're only claiming DIFF and PL (requires small changes in many places)
+* double-check for mentions of TOP
-* need to fix fam-o-homeo argument per discussion with Rob (or just remove it)
+* (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