chiark / gitweb /
create tip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:52:51 +0000 (14:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:52:51 +0000 (14:52 +0000)
article.tex

index b4035dd..29d8ca9 100644 (file)
@@ -602,7 +602,13 @@ and $D \le C \equiv D \le B$.
 
 $\qed$
 
-xxx up to here
+\subsection{Foreign Inclusion}
+
+Simple Foreign Inclusion applies.  $\qed$
+
+\subsection{Foreign Contents}
+
+Not applicable.
 
 \section{Anticommit}