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

7046 9f755ff43cff skeleton only; wenzelm parents: diff changeset	1
9f755ff43cff skeleton only; wenzelm parents: diff changeset	2	\chapter{Introduction}
9f755ff43cff skeleton only; wenzelm parents: diff changeset	3
7167 0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	4	\section{Quick start}
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	5
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	6	FIXME examples, ProofGeneral setup
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	7
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	8	\section{Examples}
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	9
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	10	\section{How to write Isar proofs anyway?}
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	11
0b2e3ef1d8f4 tuned; wenzelm parents: 7046 diff changeset	12
7046 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: