% OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE
% This file is completely obsoleted by jbw-thm.sty.
% OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE  OBSOLETE

% This material was hacked from amsthm.sty.

\let\proof=\relax
\let\endproof=\relax
\let\proofname=\relax

% jbw: Wrapped \qed definition in a command to invoke it.  Arranged for
% \qed to undefine itself when used.
\newcommand{\qedinit}{%
  \DeclareRobustCommand{\qed}{%
    \ifmmode % if math mode, assume display: omit penalty etc.
    \else \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
    \fi
    \quad\hbox{\qedsymbol}%
    \gdef\qed{}}}
\newcommand{\openbox}{\leavevmode
  \hbox to.77778em{%
  \hfil\vrule
  \vbox to.675em{\hrule width.6em\vfil\hrule}%
  \vrule\hfil}}
\newcommand{\qedsymbol}{\openbox}
% jbw: Invoke \qedinit every time.
\newenvironment{proof}[1][\proofname]{\par
  \normalfont
  \qedinit
  \topsep6\p@\@plus6\p@ \trivlist
  \item[\hskip\labelsep\itshape
    #1\@addpunct{.}]\ignorespaces
}{%
  \qed\endtrivlist
}
\newcommand{\proofname}{Proof}
