From 0f66494b88780cc285f36cd0b0e3381e7bfed7a9 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 12 Mar 2012 13:57:55 +0000 Subject: [PATCH] rename Ingredients Prohibit Replay to Prevent --- article.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/article.tex b/article.tex index 25b529f..8a6bcf4 100644 --- a/article.tex +++ b/article.tex @@ -293,7 +293,7 @@ by the LHS. And $A \le A''$. }\] xxx proof tbd -\[ \eqn{Ingredients Prohibit Replay:}{ +\[ \eqn{Ingredients Prevent Replay:}{ \left[ {C \hasparents \set A} \land \\ @@ -379,7 +379,7 @@ Topbloke strips the metadata when exporting. \subsection{No Replay} -Ingredients Prohibit Replay applies. $\qed$ +Ingredients Prevent Replay applies. $\qed$ \subsection{Unique Base} If $A, C \in \py$ then by Calculation of Ends for @@ -480,7 +480,7 @@ Given $L$, create a Topbloke base branch initial commit $B$. \subsection{No Replay} -Ingredients Prohibit Replay applies. $\qed$ +Ingredients Prevent Replay applies. $\qed$ \subsection{Unique Base} @@ -567,7 +567,7 @@ is a descendant, not an ancestor, of the 2nd parent.) By definition of $\merge$, $D \isin C \implies D \isin L \lor D \isin R^- \lor D = C$. So, by Ordering of Ingredients, -Ingredients Prohibit Replay applies. $\qed$ +Ingredients Prevent Replay applies. $\qed$ \subsection{Desired Contents} @@ -724,7 +724,7 @@ is therefore consistent with our scheme. By definition of $\merge$, $D \isin C \implies D \isin L \lor D \isin R \lor D = C$. So, by Ingredients, -Ingredients Prohibit Replay applies. $\qed$ +Ingredients Prevent Replay applies. $\qed$ \subsection{Unique Base} -- 2.30.2