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}