--- a/src/HOL/Statespace/document/root.tex Wed Oct 24 19:21:39 2007 +0200
+++ b/src/HOL/Statespace/document/root.tex Wed Oct 24 19:21:40 2007 +0200
@@ -42,7 +42,7 @@
\tableofcontents
-%\parindent 0pt\parskip 0.5ex
+\parindent 0pt\parskip 0.5ex
\section{Introduction}