\relax 
\bibstyle{abbrv}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}{\string\psc\space ildi }structure}{1}}
\citation{robles:ldmt}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces General Diagram}}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}Input: spec.ldi}{2}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}Architecture}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Manual}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Example}{6}}
\bibdata{ALL}
\bibcite{robles:ldmt}{1}
