X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;h=382cd0c69a516e431b51289e421398ac3cb9a33e;hp=076f866a78424ebbad651657712cc5364ab3f96a;hb=6e7093d49c00150e48ebc264fb1a29de2004aeed;hpb=e74ddeeb578a90906ad46b4c84b69c0ca1cdf834

diff --git a/create-tip.tex b/create-tip.tex
index 076f866..382cd0c 100644
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -1,11 +1,11 @@
 \section{Create Tip}
 
 Given a Topbloke base $B$ for a patch $\pq$,
-create a tip branch initial commit B.
+create a tip branch initial commit $C$.
 \gathbegin
  C \hasparents \{ B \}
 \gathnext
- \patchof{B} = \pqy
+ \patchof{C} = \pqy
 \gathnext
  D \isin C \equiv D \isin B \lor D = C
 \end{gather}
@@ -68,6 +68,10 @@ and $D \le C \equiv D \le B$.
 
 $\qed$
 
+\subsection{Unique Tips:}
+
+Single Parent Unique Tips applies.  $\qed$
+
 \subsection{Foreign Inclusion}
 
 Simple Foreign Inclusion applies.  $\qed$