From de3efbe320245d9b86bd490bc4e70565e371d44d Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 8 Mar 2012 18:35:07 +0000 Subject: [PATCH] clarify P sets none overlap --- article.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/article.tex b/article.tex index aef968a..ecd671e 100644 --- a/article.tex +++ b/article.tex @@ -121,7 +121,7 @@ A patch $\p$ consists of two sets of commits $\pn$ and $\py$, which are respectively the base and tip git branches. $\p$ may be used where the context requires a set, in which case the statement is to be taken as applying to both $\py$ and $\pn$. -All these sets are distinct. Hence: +None of these sets overlap. Hence: \item[ $ \patchof{ C } $ ] Either $\p$ s.t. $ C \in \p $, or $\bot$. -- 2.30.2