diff -r 2c6605049646 -r b0d961105f46 doc-src/TutorialI/Types/numerics.tex
--- a/doc-src/TutorialI/Types/numerics.tex	Thu Jan 04 10:23:01 2001 +0100
+++ b/doc-src/TutorialI/Types/numerics.tex	Thu Jan 04 18:13:27 2001 +0100
@@ -30,6 +30,7 @@
 useful lemmas are shown below.
 
 \subsection{Numeric Literals}
+\label{sec:numerals}
 
 Literals are available for the types of natural numbers, integers 
 and reals and denote integer values of arbitrary size.