partiels/S2_0812/partiel.aux

   1 \relax
   2 \catcode`:\active
   3 \catcode`;\active
   4 \catcode`!\active
   5 \catcode`?\active
   6 \select@language{french}
   7 \@writefile{toc}{\select@language{french}}
   8 \@writefile{lof}{\select@language{french}}
   9 \@writefile{lot}{\select@language{french}}
  10 \@writefile{toc}{\contentsline {section}{\numberline {1}QCM (1h45)}{1}}
  11 \@writefile{toc}{\contentsline {section}{\numberline {2}Programmation Prolog (0h30)}{4}}
  12 \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Voyages}{4}}
  13 \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Codage des entiers naturels}{4}}
  14 \@writefile{toc}{\contentsline {section}{\numberline {3}D\IeC {\'e}monstration syntaxique (45min)}{4}}