structproof.sty

% Copyright (c) Gregor Weckbecker gregor <at> feiner <minus> fug <dot> net

% Permission is hereby granted, free of charge, to any person obtaining
% a copy of this software and associated documentation files (the
% "Software"), to deal in the Software without restriction, including
% without limitation the rights to use, copy, modify, merge, publish,
% distribute, sublicense, and/or sell copies of the Software, and to
% permit persons to whom the Software is furnished to do so, subject to
% the following conditions:

% The above copyright notice and this permission notice shall be
% included in all copies or substantial portions of the Software.

% THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
% EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
% MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
% NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
% LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
% OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
% WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

% For more information see README

\ProvidesPackage{structproof}[2008/06/24 v0.01]

\usepackage{amsthm}

\newcounter{claimcount}

\newenvironment{claim}{\par
  \normalfont \topsep6\p@\@plus6\p@\relax\addtocounter{claimcount}{1}
  \begin{trivlist}
  \item[\hskip 5pt \it(\arabic{claimcount})]\it 
}
{\end{trivlist}}

\newenvironment{proofclaim}{\par
  \normalfont \topsep6\p@\@plus6\p@\relax
  \begin{trivlist}
  \item[\hskip 5pt \textit{Proof} \arabic{claimcount}.]
}
{\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
\quad\hbox{\textit{qed(\arabic{claimcount})}}
\end{trivlist}}

\newenvironment{structproof}
{\setcounter{claimcount}{0}\begin{proof}}
{\end{proof}}