From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Mar 2012 22:40:45 +0000 (+0000)
Subject: remove spurious .
X-Git-Tag: f0.2~9
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=3a480476887e4dfb10fbb3585adfc8b04d16859d

remove spurious .
---

diff --git a/create-base.tex b/create-base.tex
index b429e40..e564623 100644
--- a/create-base.tex
+++ b/create-base.tex
@@ -44,7 +44,7 @@ and $D \le B \equiv D \le L$.
 Thus $L \haspatch \p \implies B \haspatch P$
 and $L \nothaspatch \p \implies B \nothaspatch P$.
 
-$\qed$.
+$\qed$
 
 \subsection{Foreign Inclusion}