%sw20etpl {Book: ETP (Electronic Technical Publishing)}{12pt}{book}
%Copyright (C) 1994-95 TCI Software Research
\typeout{TCI Document Style `sw20etpl' <22 Dec 92.}
\typeout{NOTICE:  This macro file is NOT proprietary and may be 
freely copied and distributed.}
%
\@mparswitchfalse  %(gp) Put marginal notes on right for even pages
\input etpltex.sty

\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}{Conjecture}
%\newtheorem{example}{Example}
\newtheorem{definition}{Definition}
\newtheorem{remark}{Remark}
%\newtheorem{exercise}{Exercise}
\newtheorem{axiom}{Axiom}