\addtolength{\fboxsep}{-.8\fboxsep}
\font\ttn=cmtt9
\chardef\bs=`\\
\newcommand{\ecsvax}{{\tt ECSVAX}}
\newcommand{\cstvax}{{\tt CSTVAX}}
\newcommand{\vax}{{\tt VAX}}
\newcommand{\sun}{{\tt SUN}}
\newcommand{\vms}{{\tt VMS}}
\newcommand{\vmsvax}{{\tt VMS-VAX}}
\newcommand{\unixvax}{{\tt UNIX-VAX}}
\newcommand{\apm}{{\tt APM}}
\newcommand{\dvi}{{\tt DVI}}
\newcommand{\dvitype}{{\tt DVItype}}
\newcommand{\pooltype}{{\tt POOLtype}}
\newcommand{\web}{{\tt WEB}}
\newcommand{\pltotf}{{\tt PLtoTF}}
\newcommand{\tftopl}{{\tt TFtoPL}}
\newcommand{\tangle}{{\tt TANGLE}}
\newcommand{\weave}{{\tt WEAVE}}
\newcommand{\pascal}{{\tt PASCAL}}
\newcommand{\Scribe}{{\em Scribe}}
\newcommand{\amstex}{{$\cal A$\kern-.1667em\lower.5ex\hbox{$\cal
                                                M$}\kern-.125em $\cal S$-\TeX}}
\newcommand\bibtex{{BIB\kern-.1em\TeX}}
\newcommand\slitex{{S\kern-.065em L\kern-.18em\raise.32ex\hbox{i}\kern-.03em\TeX}}

% NEW ENVIRONMENTS
\def\fnverbatim{\@verbatim\footnotesize\frenchspacing\@vobeyspaces\@xverbatim}
% added \footnotesize, otherwise like \verbatim
\let\endfnverbatim=\endtrivlist
\def\instn{\tt \list{}{\rightmargin\leftmargin\rightmargin\leftmargin}\item[]}
\let\endinstn=\endlist
                                                                                                                                                                                                                                                                                                                             