Fixed Tuples heading
authorAdam Chlipala <adamc@hcoop.net>
Sun, 10 Aug 2003 02:32:27 +0000 (02:32 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 10 Aug 2003 02:32:27 +0000 (02:32 +0000)
doc/manual.tex

index 034e772..beb35d5 100644 (file)
@@ -84,7 +84,7 @@ In addition to SML's $\sim$ prefix negation operator, there is a \$ operator for
 
 Function application is like SML application.
 
-\subsection{Tuples}
+\subsubsection{Tuples}
 
 Tuple and {\tt ()} expressions are handled identically to how they are in SML.