From a80c83d408a62bce9652f2006f3a5dde4984b91f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 10 Aug 2003 02:32:27 +0000 Subject: [PATCH] Fixed Tuples heading --- doc/manual.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual.tex b/doc/manual.tex index 034e772..beb35d5 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -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. -- 2.20.1