strategy: calculate/use \allsrcs

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index ffd940fbb32410e9fbf755a4c0615ed31b170f08..92092d285d92fc2e228e37e2839a15acf984d11a 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -92,11 +92,14 @@
 \newcommand{\base}{{\mathcal B}}
 \newcommand{\depsreq}{{\mathcal G}}
 
+\newcommand{\allsrcs}{\set U}
+
 \newcommand{\patchof}[1]{\patch ( #1 ) }
 \newcommand{\baseof}[1]{\base ( #1 ) }
 \newcommand{\depsreqof}[1]{\depsreq ( #1 ) }
 
-\newcommand{\foreign}{\bot}
+\newcommand{\foreign}{\pa F}
+\newcommand{\isforeign}[1]{#1 \in \foreign}
 
 \newcommand{\allpatches}{\Upsilon}
 \newcommand{\assign}{\leftarrow}
@@ -148,6 +151,8 @@
 \newcommand{\proofstarts}{{\it Proof:}}
 \newcommand{\proof}[1]{\proofstarts #1 $\qed$}
 
+\newcommand{\statement}[2]{\[\eqn{ #1 }{ #2 }\]}
+
 \newcommand{\gathbegin}{\begin{gather} \tag*{}}
 \newcommand{\gathnext}{\\ \tag*{}}
 
@@ -173,5 +178,8 @@
 \chapter{Update strategy}
 
 \input{strategy.tex}
+\input{ranking.tex}
+\input{trav-alg.tex}
+\input{trav-proofs.tex}
 
 \end{document}