|
\input{common.inc}
|
|
|
|
%\setbeamertemplate{footline}{}
|
|
|
|
\setcounter{part}{6}
|
|
\setcounter{framenumber}{65}
|
|
|
|
\begin{document}
|
|
\partstitleframe{Parts VII - IX}
|
|
|
|
\input{07_backward_proofs.tex}
|
|
\input{08_basic_tactics.tex}
|
|
\input{09_induction.tex}
|
|
|
|
\end{document}
|
|
|