# HG changeset patch
# User nipkow
# Date 1180109327 -7200
# Node ID 1a05d89feeaf895535a2516ba7769fe3a1bc7cda
# Parent  1c84d7294d5b7d5d2341e1364bf36e499df4bef7
tuned

diff -r 1c84d7294d5b -r 1a05d89feeaf src/HOL/Library/Library/document/root.tex
--- 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}