From aeaa22af5529d3ce79818f22eae733be34532fe1 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 12 Mar 2012 13:40:27 +0000 Subject: [PATCH 1/1] create base foreign contents --- article.tex | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/article.tex b/article.tex index 8e474d4..f20957d 100644 --- a/article.tex +++ b/article.tex @@ -531,6 +531,10 @@ By Foreign Inclusion of $D$ in $L$, $D \isin L \equiv D \le L$. And by Exact Ancestors $D \le L \equiv D \le B$. So $D \isin B \equiv D \le B$. $\qed$ +\subsection{Foreign Contents} + +Not applicable. + \section{Create Tip} xxx tbd -- 2.30.2