1.1 --- a/doc-src/Logics/logics.tex	Tue Jul 12 09:28:00 1994 +0200
     1.2 +++ b/doc-src/Logics/logics.tex	Tue Jul 12 12:49:15 1994 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5  \underscoreoff
     1.6  
     1.7 -\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???
     1.8 +\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???
     1.9  
    1.10  \pagestyle{headings}
    1.11  \sloppy