%wdsthms.sty
%
%will cause
%Theorems, conjectures, corollaries, etc: all to be
%numbered within the SAME count-sequence within sections
%according to a counter called ``MyThmCtr.''

\typeout{WDS theorem environment defns <Aug 2001>   wdsthms.sty}

\theoremstyle{plain}
\newtheorem{MyThmCtr}{Theorem}[section]  %numbered within sections
%\newtheorem{MyThmCtr}{Theorem}  %alternative: number in 1 global sequence

\newtheorem{Theorem}[MyThmCtr]{Theorem}
\newtheorem{Lemma}[MyThmCtr]{Lemma}
\newtheorem{Claim}[MyThmCtr]{Claim}
\newtheorem{Proposition}[MyThmCtr]{Proposition}
\newtheorem{Corollary}[MyThmCtr]{Corollary}
\newtheorem{Conjecture}[MyThmCtr]{Conjecture}
\newtheorem{theorem}[MyThmCtr]{Theorem}
\newtheorem{observation}[MyThmCtr]{Observation}
\newtheorem{lemma}[MyThmCtr]{Lemma}
\newtheorem{claim}[MyThmCtr]{Claim}
\newtheorem{proposition}[MyThmCtr]{Proposition}
\newtheorem{corollary}[MyThmCtr]{Corollary}
\newtheorem{conjecture}[MyThmCtr]{Conjecture}

\newtheorem*{main}{Main Theorem}

\theoremstyle{definition}
\newtheorem{MyCaptionCtr}{Dogdoo}[section]  %numbered within sections
%\newtheorem{MyCaptionCtr}{Dogdoo}  %alternative: number in 1 global seq

\newtheorem{MyCaptionDummy}[MyCaptionCtr]{Figure}

\newtheorem{Definition}[MyThmCtr]{Definition}
\newtheorem{definition}[MyThmCtr]{Definition}

\newtheorem{Example}[MyThmCtr]{Example}
\newtheorem{Observation}[MyThmCtr]{Observation}
\newtheorem{Estimate}[MyThmCtr]{Estimate}
\newtheorem{Note}[MyThmCtr]{Note}
\newtheorem{Abuse of Notation}[MyThmCtr]{Abuse of Notation}
\newtheorem{Fact}[MyThmCtr]{Fact}
\newtheorem{fact}[MyThmCtr]{Fact}
\newtheorem{example}[MyThmCtr]{Example}
\newtheorem{estimate}[MyThmCtr]{Estimate}
%\newtheorem{note}[MyThmCtr]{Note}
\newtheorem{abuse of notation}[MyThmCtr]{Abuse of Notation}

\theoremstyle{remark}
\newtheorem{remark}[MyThmCtr]{Remark}
\newtheorem{Remark}[MyThmCtr]{Remark}
\newtheorem{notation}[MyThmCtr]{Notation}
\newtheorem{Notation}[MyThmCtr]{Notation}           

%\renewcommand{\theMyThmCtr}{\arabic{section}.\arabic{MyThmCtr}}

%convenient short forms. Also fixes huge space worng decisions by LaTex.

\newcommand{\Btheorem}{\begin{theorem}}
\newcommand{\Etheorem}{\end{theorem}\vspace{-2.3ex}}

\newcommand{\Bestimate}{\begin{estimate}}
\newcommand{\Eestimate}{\end{estimate}\vspace{-2.3ex}}

\newcommand{\Bfact}{\begin{fact}}
\newcommand{\Efact}{\end{fact}\vspace{-2.3ex}}

\newcommand{\Bobservation}{\begin{observation}}
\newcommand{\Eobservation}{\end{observation}\vspace{-2.3ex}}

\newcommand{\Bclaim}{\begin{claim}}
\newcommand{\Eclaim}{\end{claim}\vspace{-2.3ex}}

\newcommand{\Bconjecture}{\begin{conjecture}}
\newcommand{\Econjecture}{\end{conjecture}\vspace{-2.3ex}}

\newcommand{\Bexample}{\begin{example}}
\newcommand{\Eexample}{\end{example}\vspace{-2.3ex}}

\newcommand{\Bremark}{\begin{remark}}
\newcommand{\Eremark}{\end{remark}\vspace{-2.3ex}}

\newcommand{\Bdefinition}{\begin{definition}}
\newcommand{\Edefinition}{\end{definition}\vspace{-2.3ex}}

%\newcommand{\Bnote}{\begin{note}}
%\newcommand{\Enote}{\end{note}\vspace{-2.3ex}}
%these screw up endnotes!!!

\newcommand{\Bcorollary}{\begin{corollary}}
\newcommand{\Ecorollary}{\end{corollary}\vspace{-2.3ex}}

\newcommand{\Blemma}{\begin{lemma}}
\newcommand{\Elemma}{\end{lemma}\vspace{-2.3ex}}

\newcommand{\Bcaption}{\begin{MyCaptionDummy}}
\newcommand{\Ecaption}{\end{MyCaptionDummy}}