doc-src/IsarRef/intro.tex
author wenzelm
Tue Aug 03 18:56:51 1999 +0200 (1999-08-03)
changeset 7167 0b2e3ef1d8f4
parent 7046 9f755ff43cff
child 7175 8263d0b50e12
permissions -rw-r--r--
tuned;
much more material;
wenzelm@7046
     1
wenzelm@7046
     2
\chapter{Introduction}
wenzelm@7046
     3
wenzelm@7167
     4
\section{Quick start}
wenzelm@7167
     5
wenzelm@7167
     6
FIXME examples, ProofGeneral setup
wenzelm@7167
     7
wenzelm@7167
     8
\section{Examples}
wenzelm@7167
     9
wenzelm@7167
    10
\section{How to write Isar proofs anyway?}
wenzelm@7167
    11
wenzelm@7167
    12
wenzelm@7046
    13
%%% Local Variables: 
wenzelm@7046
    14
%%% mode: latex
wenzelm@7046
    15
%%% TeX-master: "isar-ref"
wenzelm@7046
    16
%%% End: