From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:52:51 +0000 (+0000)
Subject: create tip
X-Git-Tag: f0.2~52
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=63f907df8c8d67156359a4a384dd0060d3de31d3

create tip
---

diff --git a/article.tex b/article.tex
index b4035dd..29d8ca9 100644
--- a/article.tex
+++ b/article.tex
@@ -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}