# HG changeset patch
# User berghofe
# Date 1001688303 -7200
# Node ID 9c95b6a76e158906460f0c9070085725098aff7d
# Parent  27f858e70b3f2db0f7044768e0615c9b623fc416
Added label for section on terms.

diff -r 27f858e70b3f -r 9c95b6a76e15 doc-src/Ref/theories.tex
--- a/doc-src/Ref/theories.tex	Fri Sep 28 16:44:27 2001 +0200
+++ b/doc-src/Ref/theories.tex	Fri Sep 28 16:45:03 2001 +0200
@@ -672,7 +672,7 @@
 \end{ttdescription}
 
 
-\section{Terms}
+\section{Terms}\label{sec:terms}
 \index{terms|bold}
 Terms belong to the \ML\ type \mltydx{term}, which is a concrete datatype
 with six constructors: