% Support for SW Style Editor:
% Besides loading a few packages, we do nothing
% the user needs to tell Hevea more about the document
% --- see my write-up --- and the various batch files do that
\usepackage{theorem}
\usepackage{ams}
\input{book.hva}