%****************************************************************************
% This package defines theorem-like environments using independent numbering.
% The AMS-LaTeX amsthm package must be loaded before this package.
% File name: expthmic.sty
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{expthmic}

%****************************************************************************
% definitions based on \newtheorem

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{construction}[theorem]{Construction}
\newtheorem{example}[theorem]{Example}
\newtheorem{problem}[theorem]{Problem}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{acknowledgment}[theorem]{Acknowledgment}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{note}[theorem]{Note}
\newtheorem{summary}[theorem]{Summary}


%****************************************************************************
% definitions based on AMS-LaTeX proof environment

%\newenvironment{solution}[1][Solution]{\begin{proof}[#1]}{\end{proof}}