1
2 \chapter{Isabelle/ZF specific elements}\label{ch:zf-tools}
3
4 \section{Type checking}
5
6 FIXME
7
8
9
10 %%% Local Variables:
11 %%% mode: latex
12 %%% TeX-master: "isar-ref"
13 %%% End: