\input{Base.tex}

\input{Prelim.tex}

\input{Logic.tex}

\input{Tactic.tex}

\input{Proof.tex}

\input{Isar.tex}

\input{Local_Theory.tex}

\input{Integration.tex}

\input{ML.tex}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End:
