X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=article.tex;h=dd5c9966a54e7e6d7265dfc0dd6790e8e4d9419e;hp=a320e58cc1309a2a7397ff187ea2271edafd3b8f;hb=517384538f93dd1d19e65f86836298c377fa04ec;hpb=6acc075683cfa3f115ac30a0129a6f7081f71885;ds=sidebyside

diff --git a/article.tex b/article.tex
index a320e58..dd5c996 100644
--- 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 }\]}