
diff -r f3f0e06549c2 -r 3d44790b5ab0 src/HOL/IMP/document/root.tex
--- a/src/HOL/IMP/document/root.tex	Thu Apr 19 12:28:10 2012 +0200
+++ b/src/HOL/IMP/document/root.tex	Thu Apr 19 17:32:30 2012 +0200
@@ -54,6 +54,7 @@
 \author{TN \& GK}
 \maketitle
 
+\setcounter{tocdepth}{2}
 \tableofcontents
 \newpage
 




