From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Mar 2012 22:43:22 +0000 (+0000)
Subject: remove a couple of spurious $\qed$
X-Git-Tag: f0.2~8
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=5405b5e809798f9129978850e64cd811ecc95241

remove a couple of spurious $\qed$
---

diff --git a/anticommit.tex b/anticommit.tex
index 0af8f1a..37c40f0 100644
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -80,11 +80,11 @@ $\qed$
 \subsection{Unique Base}
 
 Into Base means that $C \in \pqn$, so Unique Base is not
-applicable. $\qed$
+applicable.
 
 \subsection{Tip Contents}
 
-Again, not applicable. $\qed$
+Again, not applicable.
 
 \subsection{Base Acyclic}