1
2 \chapter{Isabelle/Isar Quick Reference}
3
4
5 %%% Local Variables:
6 %%% mode: latex
7 %%% TeX-master: "isar-ref"
8 %%% End: