From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 27 May 2012 22:13:52 +0000 (+0100)
Subject: fixes: correct suitable tips
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=588087cf4ec7d7c90cb21ac1b3790b86283ba992;hp=70d3742a65313c482c967727c9110ec5c4a59695

fixes: correct suitable tips
---

diff --git a/merge.tex b/merge.tex
index 44850a5..6ff5d81 100644
--- a/merge.tex
+++ b/merge.tex
@@ -273,7 +273,7 @@ For $L \in \py$, trivially $\pendsof{C}{\py} = C$ so $T = C$ is
 suitable.
 
 For $L \not\in \py$, $\pancsof{C}{\py} = \pancsof{L}{\py} \cup
-\pancsof{R}{\py}$.  So $T$ from Suitable Tip is a suitable $T$ for
+\pancsof{R}{\py}$.  So $T$ from Suitable Tips is a suitable $T$ for
 Unique Tips.
 
 $\qed$