1
2 \chapter{Basic concepts}
3
4 \section{Isabelle/Isar Theories}
5
6 \section{The Isar proof language}
7
8 \subsection{Proof methods}
9
10 \subsection{Attributes}
11
12
13 %%% Local Variables:
14 %%% mode: latex
15 %%% TeX-master: "isar-ref"
16 %%% End: