From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 6 Mar 2012 17:16:58 +0000 (+0000)
Subject: introduce \proofstarts
X-Git-Tag: f0.2~140
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=2af3a4453d3b0ad5dcd7b5014486ff927b0cdf52;p=topbloke-formulae.git

introduce \proofstarts
---

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$:}