% FILE. . . . . /usr/home/hak/technical/books/plfdi/main.tex
% EDIT BY . . . Hassan Ait-Kaci
% ON MACHINE. . Muenster
% STARTED ON. . Thu Jun 11 14:33:11 1998

% Last modified on Mon Aug 04 16:33:03 2003 by hak

\documentclass[12pt,twoside,fleqn]{book}

%\includeonly{kernel,types}

\input{front}

\include{opening}
\include{introduction}
\include{overview}
\include{kernel}
\include{types}
\include{instructions}
\include{backend}
\include{hakl}
\include{conclusion}
\appendix
\include{traceability}
\include{fourpanels}

%\include{index}

\bibliographystyle{plain}
\bibliography{main}

% End page marker
\label{lastpage}
\end{document}
