%sw20lart {Article: Standard LaTeX article}{12pt}{article} %Copyright (C) 1994-95 TCI Software Research \typeout{TCI Document Style `sw20lart' <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 % %No additions needed to the base style.