blob to-do
changeset 850 38955cc8e1a7
parent 849 cbfbcf204016
child 878 937214896458
equal deleted inserted replaced
849:cbfbcf204016 850:38955cc8e1a7
     1 
     1 
     2 ====== big ======
     2 ====== big ======
     3 
     3 
     4 * better discussion of systems of fields from disk-like n-cats
     4 * better discussion of systems of fields from disk-like n-cats
       
     5     (Is this done by now?)
     5 
     6 
     6 * need to fix fam-o-homeo argument per discussion with Rob
     7 * need to fix fam-o-homeo argument per discussion with Rob
     7 
     8 
     8 * 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
     9 * 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
     9 
    10