%sw20dep  {Article: DECUS proceedings}{draft}{deproc}
%Copyright (C) 1994-95 TCI Software Research
\typeout{TCI Document Style `sw20dep' <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