1
2
\chapter{Introduction}
3
4
\section{Quick start}
5
6
FIXME examples, ProofGeneral setup
7
8
\section{Examples}
9
10
\section{How to write Isar proofs anyway?}
11
12
13
%%% Local Variables:
14
%%% mode: latex
15
%%% TeX-master: "isar-ref"
16
%%% End: