From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 11 May 2012 23:41:30 +0000 (+0100)
Subject: strategy: new, wip
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=8a59e774f52ee89b29274d3148a3b72707adedc9;p=topbloke-formulae.git

strategy: new, wip
---

diff --git a/strategy.tex b/strategy.tex
index 7b977e5..c8a0bfe 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -101,10 +101,12 @@ dependencies to use.  This allows the specification of any desired
 \begin{enumerate}
 \item Add $\pc$ to $\allpatches$ if it is not there already.
 \item Let $\set S_{\pcn} = h(\pcn)
-     \cup \{ \baseof{E} \; | \; \pendsof{ \left[
-         \bigcup_{\p \in \allpatches} h(\pn) \cup h(\py)
-         \right]
-       }{ \pcy } \} $
+     \cup 
+        \bigcup_{\p \in \allpatches}
+        \bigcup_{H \in h(\pn) \lor H \in h(\py)}
+         \{ \baseof{E} \; | \; E \in \pendsof{H}{\pcy} \} $.
+
+(We write $\set S = \set S_{\pcn}$ when it's not ambiguous.)
 \end{enumerate}
 
 \section{Planning phase}