# HG changeset patch
# User paulson
# Date 1031071395 -7200
# Node ID d17f6474eed0eb011f1f1459fd9d1afe8ed5e835
# Parent  fc529625b494f7981a3724b4ffc9fdeab57c9abb
fixed the typesetting

diff -r fc529625b494 -r d17f6474eed0 src/ZF/Constructible/document/root.tex
--- a/src/ZF/Constructible/document/root.tex	Tue Sep 03 13:41:29 2002 +0200
+++ b/src/ZF/Constructible/document/root.tex	Tue Sep 03 18:43:15 2002 +0200
@@ -1,9 +1,12 @@
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx}
 \usepackage{isabelle,amssymb,isabellesym}
 \usepackage{pdfsetup}\urlstyle{rm}
 
+%table of contents too crowded!
+\usepackage{tocloft}
+\addtolength{\cftsubsecnumwidth}{0.5em}
+\addtolength{\cftsubsubsecnumwidth}{1.0em}
 
 \begin{document}