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

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

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

\theoremstyle{definition}
\newtheorem{condition}{Condition}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\newtheorem{problem}{Problem}

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

\theoremstyle{plain}

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

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