\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. }