\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {0}License Terms and Availability}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{License Terms and Availability}{{0}{1}}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Preface}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Preface}{{1}{3}}
\citation{S91}
\citation{Li89}
\citation{LEDAbook}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Basics}{7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Basics}{{2}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Getting Started}{7}}
\newlabel{A First Example}{{2.1}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}The LEDA Manual Page (the type specification)}{8}}
\newlabel{LEDA Manual Page}{{2.2}{8}}
\newlabel{Specifications}{{2.2}{8}}
\citation{AS89}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}User Defined Parameter Types}{10}}
\newlabel{UserDefinedParameterTypes}{{2.3}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.1}Linear Orders}{10}}
\newlabel{Linear Orders}{{2.3.1}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3.2}Hashed Types}{12}}
\newlabel{Hashed Types}{{2.3.2}{12}}
