--- a/blob_changes_v3	Tue Dec 13 13:52:26 2011 -0800
+++ b/blob_changes_v3	Tue Dec 13 13:54:06 2011 -0800
@@ -27,7 +27,6 @@
 - strengthened n-cat isotopy invariance axiom to allow for homeomorphisms which act trivially elements on the restriction of an n-morphism to the boundary of the ball
 - more details on axioms for enriched n-cats
 - added details to the construction of traditional 1-categories from disklike 1-categories (Appendix C.1)
-- extended the lemmas of Appendix B (about adapting families of homeomorphisms to open covers) to the topological category
 - modified families-of-homeomorphisms-action axiom for A-infinity n-categories, and added discussion of alternatives
 - added n-cat axiom for existence of splittings, and added similar axiom for fields
 - added transversality requirement to product morphism axiom