\relax 
\newlabel{notes1}{{1}{0}}
\newlabel{notes2}{{2}{0}}
\newlabel{notes3}{{3}{0}}
\newlabel{notes4}{{4}{0}}
\newlabel{notes5}{{5}{0}}
\newlabel{notes8}{{8}{0}}
\newlabel{notes9}{{9}{0}}
\newlabel{notes15}{{15}{0}}
\newlabel{notes16}{{16}{0}}
\newlabel{notes19}{{19}{0}}
\newlabel{notes21}{{21}{0}}
\newlabel{notes22}{{22}{0}}
\newlabel{notes23}{{23}{0}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}What we Expect in your Proofs}{1}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Some Actual Proofs...}{2}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Definitions}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.1}What Definitions to Make?}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2}Well-Definedness}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.3}Peano's Axioms}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4}Using Peano's Axioms}{6}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Real World Proofs By Induction}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1}What They Are}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2}Simple Number Properties}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3}Angles in A Polygon}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.4}Die Hard}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.5}Courtyard Tiling}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.6}Fallacies}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.7}Algorithm Verification}{14}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.8}Why do Proofs?}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}Induction on Recursive Definitions}{17}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1}Addition}{18}}
\newlabel{lem:1}{{8.1}{19}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2}Less formal Inductions}{20}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.3}Sums of Sequences}{21}}
