changeset 942 | 598085348dd1 |
parent 939 | e3c5c55d901d |
child 952 | 86389e393c17 |
--- a/blob to-do Thu Dec 08 17:41:42 2011 -0800 +++ b/blob to-do Thu Dec 08 23:13:48 2011 -0800 @@ -34,8 +34,6 @@ ====== Scott ====== -* SCOTT will go through appendix C.2 and make it better (Schulman's example?) - * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms