chiark / gitweb /
wip create base
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 08:55:53 +0000 (08:55 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 08:55:53 +0000 (08:55 +0000)
article.tex

index 84b95b2..9286d60 100644 (file)
@@ -523,7 +523,12 @@ and $L \nothaspatch \p \implies B \nothaspatch P$.
 
 $\qed$.
 
-xxx unfinished
+\subsection{Foreign Inclusion}
+
+Consider some $D$ s.t. $\patchof{D} = \bot$.  $D \neq B$
+so $D \isin B \equiv D \isin L$.
+
+By Foreign Inclusion of $D$ xxx up to here
 
 \section{Create Tip}