changeset 842 | 3e6c66df4df1 |
parent 841 | 27e0192b4066 |
child 847 | 50088eefeedf |
--- a/blob to-do Wed Jun 29 22:28:56 2011 -0700 +++ b/blob to-do Wed Jun 29 23:06:29 2011 -0700 @@ -1,7 +1,7 @@ ====== big ====== -* reconcile splittability with A-inf/familaies of maps examples +* reconcile splittability with A-inf/families of maps examples * better discussion of systems of fields from disk-like n-cats ** splittability axiom for fields