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