\def\hang{\hangindent 3em\indent\ignorespaces}
\font\mc=cmcsc10
\def\PASCAL{{\mc Pascal}}
\def\cee{{\mc C}}
\def\ASCII{{\mc ascii}}
\def\pb{$\.|\ldots\.|$} % pascal brackets (|...|)
\def\v{\.{\char'174}} % vertical (|) in typewriter font
\mathchardef\BA="3224 % double arrow
\def\({} % kludge for alphabetizing certain module names

\def\title{TIE}
\def\topofcontents{\null\vfill
  \centerline{\titlefont The {\ttitlefont TIE} processor}
  \vskip 15pt
  \centerline{(Version 1.3)}
  \vfill}
\def\botofcontents{
\null\vfill
\item{$\copyright$}1983, 1984, 1986
   by Technische Hochschule Darmstadt,\hfill\break
Fachbereich Informatik, Institut f\"ur Theoretische Informatik\hfill\break
All rights reserved.\hfill\break
This program is put into the public domain and may be used freely
for any non commercial purposes.
}