preplogic-slides.aux (6068B)
1 \relax 2 \providecommand\hyper@newdestlabel[2]{} 3 \providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} 4 \HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined 5 \global\let\oldcontentsline\contentsline 6 \gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} 7 \global\let\oldnewlabel\newlabel 8 \gdef\newlabel#1#2{\newlabelxx{#1}#2} 9 \gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} 10 \AtEndDocument{\ifx\hyper@anchor\@undefined 11 \let\contentsline\oldcontentsline 12 \let\newlabel\oldnewlabel 13 \fi} 14 \fi} 15 \global\let\hyper@last\relax 16 \gdef\HyperFirstAtBeginDocument#1{#1} 17 \providecommand\HyField@AuxAddToFields[1]{} 18 \providecommand\HyField@AuxAddToCoFields[2]{} 19 \@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} 20 \@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} 21 \@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} 22 \@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} 23 \@writefile{toc}{\beamer@sectionintoc {1}{Statements}{3}{0}{1}} 24 \@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}} 25 \@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}} 26 \@writefile{nav}{\headcommand {\sectionentry {1}{Statements}{3}{Statements}{0}}} 27 \@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{3/9}{}{0}}} 28 \@writefile{nav}{\headcommand {\beamer@framepages {3}{9}}} 29 \@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{10/10}{}{0}}} 30 \@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} 31 \@writefile{toc}{\beamer@sectionintoc {2}{Logical operations}{11}{0}{2}} 32 \@writefile{nav}{\headcommand {\beamer@sectionpages {3}{10}}} 33 \@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{10}}} 34 \@writefile{nav}{\headcommand {\sectionentry {2}{Logical operations}{11}{Logical operations}{0}}} 35 \@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{11/11}{}{0}}} 36 \@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} 37 \@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{12/13}{}{0}}} 38 \@writefile{nav}{\headcommand {\beamer@framepages {12}{13}}} 39 \@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{14/15}{}{0}}} 40 \@writefile{nav}{\headcommand {\beamer@framepages {14}{15}}} 41 \@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{16/17}{}{0}}} 42 \@writefile{nav}{\headcommand {\beamer@framepages {16}{17}}} 43 \@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{18/20}{}{0}}} 44 \@writefile{nav}{\headcommand {\beamer@framepages {18}{20}}} 45 \@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{21/21}{}{0}}} 46 \@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} 47 \@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{22/24}{}{0}}} 48 \@writefile{nav}{\headcommand {\beamer@framepages {22}{24}}} 49 \@writefile{nav}{\headcommand {\slideentry {2}{0}{8}{25/26}{}{0}}} 50 \@writefile{nav}{\headcommand {\beamer@framepages {25}{26}}} 51 \@writefile{nav}{\headcommand {\slideentry {2}{0}{9}{27/27}{}{0}}} 52 \@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}} 53 \@writefile{toc}{\beamer@sectionintoc {3}{Implication}{28}{0}{3}} 54 \@writefile{nav}{\headcommand {\beamer@sectionpages {11}{27}}} 55 \@writefile{nav}{\headcommand {\beamer@subsectionpages {11}{27}}} 56 \@writefile{nav}{\headcommand {\sectionentry {3}{Implication}{28}{Implication}{0}}} 57 \@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{28/30}{}{0}}} 58 \@writefile{nav}{\headcommand {\beamer@framepages {28}{30}}} 59 \@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{31/33}{}{0}}} 60 \@writefile{nav}{\headcommand {\beamer@framepages {31}{33}}} 61 \@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{34/34}{}{0}}} 62 \@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}} 63 \@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{35/37}{}{0}}} 64 \@writefile{nav}{\headcommand {\beamer@framepages {35}{37}}} 65 \@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{38/38}{}{0}}} 66 \@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}} 67 \@writefile{nav}{\headcommand {\slideentry {3}{0}{6}{39/39}{}{0}}} 68 \@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}} 69 \@writefile{toc}{\beamer@sectionintoc {4}{Quantifiers}{40}{0}{4}} 70 \@writefile{nav}{\headcommand {\beamer@sectionpages {28}{39}}} 71 \@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{39}}} 72 \@writefile{nav}{\headcommand {\sectionentry {4}{Quantifiers}{40}{Quantifiers}{0}}} 73 \@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{40/42}{}{0}}} 74 \@writefile{nav}{\headcommand {\beamer@framepages {40}{42}}} 75 \@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{43/43}{}{0}}} 76 \@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}} 77 \@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{44/46}{}{0}}} 78 \@writefile{nav}{\headcommand {\beamer@framepages {44}{46}}} 79 \@writefile{toc}{\beamer@sectionintoc {5}{Proofs}{47}{0}{5}} 80 \@writefile{nav}{\headcommand {\beamer@sectionpages {40}{46}}} 81 \@writefile{nav}{\headcommand {\beamer@subsectionpages {40}{46}}} 82 \@writefile{nav}{\headcommand {\sectionentry {5}{Proofs}{47}{Proofs}{0}}} 83 \@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{47/50}{}{0}}} 84 \@writefile{nav}{\headcommand {\beamer@framepages {47}{50}}} 85 \@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{51/55}{}{0}}} 86 \@writefile{nav}{\headcommand {\beamer@framepages {51}{55}}} 87 \@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{56/57}{}{0}}} 88 \@writefile{nav}{\headcommand {\beamer@framepages {56}{57}}} 89 \@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{58/64}{}{0}}} 90 \@writefile{nav}{\headcommand {\beamer@framepages {58}{64}}} 91 \@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{65/66}{}{0}}} 92 \@writefile{nav}{\headcommand {\beamer@framepages {65}{66}}} 93 \@writefile{nav}{\headcommand {\slideentry {5}{0}{6}{67/71}{}{0}}} 94 \@writefile{nav}{\headcommand {\beamer@framepages {67}{71}}} 95 \@writefile{nav}{\headcommand {\slideentry {5}{0}{7}{72/72}{}{0}}} 96 \@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}} 97 \@writefile{nav}{\headcommand {\beamer@partpages {1}{72}}} 98 \@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{72}}} 99 \@writefile{nav}{\headcommand {\beamer@sectionpages {47}{72}}} 100 \@writefile{nav}{\headcommand {\beamer@documentpages {72}}} 101 \@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {29}}}