\chapter{Basic concepts} \section{Isabelle/Isar Theories} \section{The Isar proof language} \subsection{Proof methods} \subsection{Attributes} %%% Local Variables: %%% mode: latex %%% TeX-master: "isar-ref" %%% End: