\chapter{Introduction} \section{Quick start} FIXME examples, ProofGeneral setup \section{Examples} \section{How to write Isar proofs anyway?} %%% Local Variables: %%% mode: latex %%% TeX-master: "isar-ref" %%% End: