\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
\@writefile{toc}{\beamer@sectionintoc {1}{Welche funktionale Sprache w\"ahlen wir?}{2}{0}{1}}
\@writefile{nav}{\headcommand {\sectionentry {1}{Welche funktionale Sprache w\"ahlen wir?}{2}{Welche funktionale Sprache w\"ahlen wir?}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{1}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{1}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{2/2}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{3/9}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {3}{9}}}
\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{10/15}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {10}{15}}}
\@writefile{toc}{\beamer@sectionintoc {2}{Einf\"uhrung: wo liegt der Unterschied zur imperativen Programmierung}{16}{0}{2}}
\@writefile{nav}{\headcommand {\sectionentry {2}{Einf\"uhrung: wo liegt der Unterschied zur imperativen Programmierung}{16}{Einf\"uhrung: wo liegt der Unterschied zur imperativen Programmierung}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {2}{15}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {2}{15}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{16/16}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{17/24}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {17}{24}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{25/34}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {25}{34}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{35/44}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {35}{44}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{45/50}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {45}{50}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{51/67}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {51}{67}}}
\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{68/71}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {68}{71}}}
\@writefile{toc}{\beamer@sectionintoc {3}{Recursion}{72}{0}{3}}
\@writefile{nav}{\headcommand {\sectionentry {3}{Recursion}{72}{Recursion}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {16}{71}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {16}{71}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{72/72}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{73/88}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {73}{88}}}
\@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{89/107}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {89}{107}}}
\@writefile{toc}{\beamer@sectionintoc {4}{Wichtige Eigenschaften von OCaml}{108}{0}{4}}
\@writefile{nav}{\headcommand {\sectionentry {4}{Wichtige Eigenschaften von OCaml}{108}{Wichtige Eigenschaften von OCaml}{0}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {72}{107}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {72}{107}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{108/108}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {108}{108}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{109/116}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {109}{116}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{117/122}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {117}{122}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{123/126}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {123}{126}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{5}{127/138}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {127}{138}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{6}{139/149}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {139}{149}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{7}{150/160}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {150}{160}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{8}{161/172}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {161}{172}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{9}{173/179}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {173}{179}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{10}{180/188}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {180}{188}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{11}{189/199}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {189}{199}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{12}{200/208}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {200}{208}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{13}{209/212}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {209}{212}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{14}{213/226}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {213}{226}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{15}{227/235}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {227}{235}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{16}{236/248}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {236}{248}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{17}{249/256}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {249}{256}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{18}{257/261}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {257}{261}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{19}{262/268}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {262}{268}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{20}{269/279}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {269}{279}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{21}{280/282}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {280}{282}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{22}{283/285}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {283}{285}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{23}{286/288}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {286}{288}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{24}{289/289}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {289}{289}}}
\@writefile{nav}{\headcommand {\slideentry {4}{0}{25}{290/290}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {290}{290}}}
\@writefile{nav}{\headcommand {\beamer@partpages {1}{290}}}
\@writefile{nav}{\headcommand {\beamer@subsectionpages {108}{290}}}
\@writefile{nav}{\headcommand {\beamer@sectionpages {108}{290}}}
\@writefile{nav}{\headcommand {\beamer@documentpages {290}}}
\@writefile{nav}{\headcommand {\def \inserttotalframenumber {39}}}
