\typeout{}
\typeout{\space\space\space\space\space
         The title page being created is a LaTeX approximation of a fancy}
\typeout{\space\space\space\space\space
         PostScript cover page.  All the fancy cover pages for the HOL}
\typeout{\space\space\space\space\space
         Manual may be generated if you have (1) a PostScript printer,}
\typeout{\space\space\space\space\space
         (2) the "psfig" TeX macros, and (3) a DVI to PostScript converter}
\typeout{\space\space\space\space\space
         that understands these macros.  The cover pages may be found in}
\typeout{\space\space\space\space\space
         ../LaTeX/Covers, and shoud be made pursuant to the instructions}
\typeout{\space\space\space\space\space
         given in ../LaTeX/Covers/READ-ME.}
\typeout{}


