From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 13:40:19 +0000 (+0000)
Subject: change Not Applicable [] to Not Applicable
X-Git-Tag: f0.2~69
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=f2a671f70cc2fcc9292d054540c645612f3c73a7;p=topbloke-formulae.git

change Not Applicable [] to Not Applicable
---

diff --git a/article.tex b/article.tex
index d0d30c4..8e474d4 100644
--- a/article.tex
+++ b/article.tex
@@ -498,11 +498,11 @@ Thus $D \le B$.
 
 \subsection{Unique Base}
 
-Not applicable. $\qed$
+Not applicable.
 
 \subsection{Tip Contents}
 
-Not applicable. $\qed$
+Not applicable.
 
 \subsection{Base Acyclic}
 
@@ -660,7 +660,7 @@ $\qed$
 
 \subsection{Foreign Contents}
 
-Not applicable. $\qed$
+Not applicable.
 
 \section{Merge}