%sw20etp2 {Book: ETP without marginal notations}{12pt}{book}
%Copyright (C) 1994-95 TCI Software Research
\typeout{TCI Document Style `sw20etp2' <1 July 1994>.}
\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
\def\markup#1{}


\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}