\typeout{TCI Document Style `sw20laap' <20 Aug 1994>.}
\typeout{NOTICE:  This macro file is NOT proprietary and may be 
freely copied and distributed.}

% Kill \newtheorem

\def\newtheorem#1#2{}