chiark / gitweb /
rename Ingredients Prohibit Replay to Prevent
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 13:57:55 +0000 (13:57 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 13:57:55 +0000 (13:57 +0000)
article.tex

index 25b529f..8a6bcf4 100644 (file)
@@ -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}