--- a/blob to-do Thu Aug 11 12:08:38 2011 -0600
+++ b/blob to-do Thu Aug 11 12:59:06 2011 -0600
@@ -3,8 +3,10 @@
* 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)
-* need to fix fam-o-homeo argument per discussion with Rob
+* need to fix fam-o-homeo argument per discussion with Rob (or just remove it)
* 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