%sw20svsa {Book: Springer-Verlag single-authored}{}{report} %Copyright (C) 1994-95 TCI Software Research \typeout{TCI Document Style `sw20svsa' <1 July 1994>.} \typeout{NOTICE: This macro file is NOT proprietary and may be freely copied and distributed.} % \input svsa.sty \input thmsupp.tex %TCI theorem option support