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

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1
7135 8eabfd7e6b9b more; wenzelm parents: 7046 diff changeset	2	\chapter{Basic Concepts}
7046 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
7135 8eabfd7e6b9b more; wenzelm parents: 7046 diff changeset	8	\subsection{Proof commands}
8eabfd7e6b9b more; wenzelm parents: 7046 diff changeset	9
8eabfd7e6b9b more; wenzelm parents: 7046 diff changeset	10	\subsection{Methods}
7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	11
9f755ff43cff skeleton only; wenzelm parents: diff changeset	12	\subsection{Attributes}
9f755ff43cff skeleton only; wenzelm parents: diff changeset	13
9f755ff43cff skeleton only; wenzelm parents: diff changeset	14
9f755ff43cff skeleton only; wenzelm parents: diff changeset	15	%%% Local Variables:
9f755ff43cff skeleton only; wenzelm parents: diff changeset	16	%%% mode: latex
9f755ff43cff skeleton only; wenzelm parents: diff changeset	17	%%% TeX-master: "isar-ref"
9f755ff43cff skeleton only; wenzelm parents: diff changeset	18	%%% End: