# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1317011724 21600
# Node ID 3bc9a91009520751de8e0b56433360ac41b51c84
# Parent  01c1daa7143734d9af70ff586b01800eb5c5fec4
minor

diff -r 01c1daa71437 -r 3bc9a9100952 blob to-do
--- a/blob to-do	Sun Sep 25 22:31:22 2011 -0600
+++ b/blob to-do	Sun Sep 25 22:35:24 2011 -0600
@@ -4,9 +4,9 @@
 * 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)
+* double-check for mentions of TOP
 
-* need to fix fam-o-homeo argument per discussion with Rob (or just remove it)
+* (maybe) say somewhere what's missing for TOP
 
 * 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