diff -r 552717636da4 -r d4bf81734dfe doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Tue Jul 12 09:28:00 1994 +0200
+++ b/doc-src/Logics/logics.tex	Tue Jul 12 12:49:15 1994 +0200
@@ -35,7 +35,7 @@
 
 \underscoreoff
 
-\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???
+\setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???
 
 \pagestyle{headings}
 \sloppy