\input{Logic.tex} \input{Induction.tex} %%% Local Variables: %%% mode: latex %%% TeX-master: "root" %%% End: