doc-src/Ref/ref.toc
changeset 141 a133921366cb
parent 138 9ba8bff1addc
child 150 919a03a587eb
--- a/doc-src/Ref/ref.toc	Tue Nov 23 10:47:33 1993 +0100
+++ b/doc-src/Ref/ref.toc	Thu Nov 25 10:29:40 1993 +0100
@@ -5,7 +5,7 @@
 \contentsline {section}{\numberline {1.4}Printing of terms and theorems}{3}
 \contentsline {subsection}{Printing limits}{3}
 \contentsline {subsection}{Printing of meta-level hypotheses}{3}
-\contentsline {subsection}{Printing of types and sorts}{4}
+\contentsline {subsection}{Printing of types and sorts}{3}
 \contentsline {subsection}{$\eta $-contraction before printing}{4}
 \contentsline {section}{\numberline {1.5}Displaying exceptions as error messages}{4}
 \contentsline {section}{\numberline {1.6}Shell scripts}{5}