strategy: introduce \condproof

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 6bbe082c65b2a73eb682c81ce1e2296535501fb4..dd5c9966a54e7e6d7265dfc0dd6790e8e4d9419e 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -159,8 +159,14 @@
 \newcommand{\qed}{\square}
 \newcommand{\proofstarts}{{\it Proof:}}
 \newcommand{\proof}[1]{\proofstarts #1 $\qed$}
-\newcommand{\commitproof}[1]{{\it Proof of commit generation conditions:}
+
+\newcommand{\commitproof}[1]{{\bf Proof of commit generation conditions:}
  #1 $\qed$}
+\newcommand{\condproof}[2]{
+
+{\it #1:} #2
+
+}
 
 \newcommand{\statement}[2]{\[\eqn{ #1 }{ #2 }\]}
 
@@ -190,7 +196,6 @@
 
 \input{strategy.tex}
 \input{ranking.tex}
-\input{trav-alg.tex}
-\input{trav-proofs.tex}
+\input{traversal.tex}
 
 \end{document}