doc-src/IsarRef/intro.tex

--- a/doc-src/IsarRef/intro.tex	Tue Aug 03 13:16:29 1999 +0200
+++ b/doc-src/IsarRef/intro.tex	Tue Aug 03 18:56:51 1999 +0200
@@ -1,6 +1,15 @@
 
 \chapter{Introduction}
 
+\section{Quick start}
+
+FIXME examples, ProofGeneral setup
+
+\section{Examples}
+
+\section{How to write Isar proofs anyway?}
+
+
 %%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "isar-ref"