%sw20cart {Article: Modified article style for short texts}{12pt}{csart}
%Copyright (C) 1994-95 TCI Software Research
\typeout{TCI Document Style `sw20cart' <1 July 1994>.}
\typeout{NOTICE:  This macro file is NOT proprietary and may be 
freely copied and distributed.}
%
\input thmsupp.tex %TCI theorem option support