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