src/HOL/Isar_examples/document/root.tex

   simple demonstrations of certain language features to more advanced
   applications.
 \end{abstract}
 
 \tableofcontents
+
+\parindent 0pt \parskip 0.5ex
 \input{session}
 
 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
 \bibliographystyle{plain}
 \bibliography{root}