tuned

--- a/src/HOL/Library/Library/document/root.tex	Fri May 25 18:08:34 2007 +0200
+++ b/src/HOL/Library/Library/document/root.tex	Fri May 25 18:08:47 2007 +0200
@@ -25,7 +25,6 @@
 \markright{THEORY~``\isabellecontext''}}
 \renewcommand{\isasymguillemotright}{$\gg$}
 
-\parindent 0pt \parskip 0.5ex
 \input{session}
 
 \pagestyle{headings}