From 2af3a4453d3b0ad5dcd7b5014486ff927b0cdf52 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 6 Mar 2012 17:16:58 +0000
Subject: [PATCH 1/1] introduce \proofstarts

---
 article.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/article.tex b/article.tex
index 0018429..1fa67c2 100644
--- a/article.tex
+++ b/article.tex
@@ -81,7 +81,8 @@
 \newcommand{\Largenexists}{\mathop{\hbox{\Large$\nexists$}}}
 
 \newcommand{\qed}{\square}
-\newcommand{\proof}[1]{{\it Proof.} #1 $\qed$}
+\newcommand{\proofstarts}{{\it Proof:}}
+\newcommand{\proof}[1]{\proofstarts #1 $\qed$}
 
 \newcommand{\gathbegin}{\begin{gather} \tag*{}}
 \newcommand{\gathnext}{\\ \tag*{}}
@@ -270,7 +271,7 @@ If we are constructing $C$, given
 \gathnext
   R \le C
 \end{gather}
-No Replay is preserved.  {\it Proof:}
+No Replay is preserved.  \proofstarts
 
 \subsubsection{For $D=C$:} $D \isin C, D \le C$.  OK.
 
@@ -424,7 +425,7 @@ Merge Results applies. $\qed$
 \subsection{Desired Contents}
 
 \[ D \isin C \equiv [ D \notin \pry \land D \isin L ] \lor D = C \]
-{\it Proof.}
+\proofstarts
 
 \subsubsection{For $D = C$:}
 
-- 
2.30.2