doc-src/TutorialI/Misc/document/types.tex

--- a/doc-src/TutorialI/Misc/document/types.tex	Fri Jan 12 16:05:12 2001 +0100
+++ b/doc-src/TutorialI/Misc/document/types.tex	Fri Jan 12 16:07:20 2001 +0100
@@ -13,7 +13,7 @@
 \end{isamarkuptext}%
 \isacommand{consts}\ nand\ {\isacharcolon}{\isacharcolon}\ gate\isanewline
 \ \ \ \ \ \ \ xor\ \ {\isacharcolon}{\isacharcolon}\ gate%
-\isamarkupsubsection{Constant definitions%
+\isamarkupsubsection{Constant Definitions%
 }
 %
 \begin{isamarkuptext}%