% 6.3.91 hk 
% specifications entry point

%\def\nextprog#1{\newpage \cprogfile{#1}}
\def\nextprog#1{\cprogfile{#1}}

\input{mprog.sty}
\modulatrue
\cprogttspacetrue
\setlength{\beforecprogskip}{0cm}

\sloppy


\chapter{Specifications} %------------

{\small
\section{Initialization}
\nextprog{ini.spc}

\section{Abstract Structures}
\nextprog{abstr.spc}

\section{LISP Structures}
\nextprog{lisp.spc}

\section{Arithmetic Structures}
\nextprog{arith.spc}

\section{Polynomial Structures}
\nextprog{poly.spc}

%\section{Module Structures}
%\nextprog{modul.spc}

\section{Term Structures}
\nextprog{term.spc}

\section{Test Examples}
\nextprog{tspec.in}
}

\fussy
