1 \input{Logic.tex}
2
3 \input{Induction.tex}
4
5 %%% Local Variables:
6 %%% mode: latex
7 %%% TeX-master: "root"
8 %%% End: