X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=article.tex;h=dd5c9966a54e7e6d7265dfc0dd6790e8e4d9419e;hb=0b2f9c02d4b77a5cadff5f255ba9d2eab0f39c3f;hp=2b54eecf517c70c0cd08522e2c7dad1c9334815f;hpb=8f439786bda0cd262aee087f20fc6322ed7a144f;p=topbloke-formulae.git

diff --git a/article.tex b/article.tex
index 2b54eec..dd5c996 100644
--- a/article.tex
+++ b/article.tex
@@ -160,6 +160,14 @@
 \newcommand{\proofstarts}{{\it Proof:}}
 \newcommand{\proof}[1]{\proofstarts #1 $\qed$}
 
+\newcommand{\commitproof}[1]{{\bf Proof of commit generation conditions:}
+ #1 $\qed$}
+\newcommand{\condproof}[2]{
+
+{\it #1:} #2
+
+}
+
 \newcommand{\statement}[2]{\[\eqn{ #1 }{ #2 }\]}
 
 \newcommand{\gathbegin}{\begin{gather} \tag*{}}
@@ -188,7 +196,6 @@
 
 \input{strategy.tex}
 \input{ranking.tex}
-\input{trav-alg.tex}
-\input{trav-proofs.tex}
+\input{traversal.tex}
 
 \end{document}