record_simproc for sel-upd (by Sebastian Nanz);
removed record_splitter by default;
\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: