1
\input{base.tex}
2
3
\input{prelim.tex}
4
5
\input{logic.tex}
6
7
\input{tactic.tex}
8
9
\input{proof.tex}
10
11
\input{locale.tex}
12
13
\input{integration.tex}
14
15
\input{ML.tex}
16
17
%%% Local Variables:
18
%%% mode: latex
19
%%% TeX-master: "root"
20
%%% End: