X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-base.tex;h=9325091196c21b02e9ffbe047e17eb9ac4a14934;hp=778999423bfa6adc7692cea9d84844adf97dd3c9;hb=0b2f9c02d4b77a5cadff5f255ba9d2eab0f39c3f;hpb=843e4f577674c9ae258563c983af590cae7f8e16 diff --git a/create-base.tex b/create-base.tex index 7789994..9325091 100644 --- a/create-base.tex +++ b/create-base.tex @@ -13,7 +13,7 @@ create a Topbloke base branch initial commit $B$. \subsection{Conditions} $\eqn{ Create Acyclic }{ - \pendsof{L}{\pqy} = \{ \} + L \nothaspatch \pq }$ \subsection{No Replay} @@ -31,8 +31,7 @@ Not applicable. \subsection{Base Acyclic} Consider some $D \isin B$. If $D = B$, $D \in \pqn$. -If $D \neq B$, $D \isin L$, so by No Replay $D \le L$ -and by Create Acyclic +If $D \neq B$, $D \isin L$, so by Create Acyclic $D \not\in \pqy$. $\qed$ \subsection{Coherence and Patch Inclusion} @@ -46,6 +45,10 @@ and $L \nothaspatch \p \equiv B \nothaspatch P$. $\qed$ +\subsection{Unique Tips:} + +Single Parent Unique Tips applies. $\qed$ + \subsection{Foreign Inclusion} Simple Foreign Inclusion applies. $\qed$