X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=article.tex;fp=article.tex;h=6bbe082c65b2a73eb682c81ce1e2296535501fb4;hb=6e7093d49c00150e48ebc264fb1a29de2004aeed;hp=2b54eecf517c70c0cd08522e2c7dad1c9334815f;hpb=67e27b1cb5487e79f47e828773fdd574b9da9712;p=topbloke-formulae.git

diff --git a/article.tex b/article.tex
index 2b54eec..6bbe082 100644
--- a/article.tex
+++ b/article.tex
@@ -159,6 +159,8 @@
 \newcommand{\qed}{\square}
 \newcommand{\proofstarts}{{\it Proof:}}
 \newcommand{\proof}[1]{\proofstarts #1 $\qed$}
+\newcommand{\commitproof}[1]{{\it Proof of commit generation conditions:}
+ #1 $\qed$}
 
 \newcommand{\statement}[2]{\[\eqn{ #1 }{ #2 }\]}