1
2 \chapter{HOL specific elements}
3
4 %%% Local Variables:
5 %%% mode: latex
6 %%% TeX-master: "isar-ref"
7 %%% End: