isabelle: doc-src/IsarRef/basics.tex@d103b875ef1d (annotated)

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