doc-src/TutorialI/Types/numerics.tex
changeset 10608 620647438780
parent 10594 6330bc4b6fe4
child 10654 458068404143
     1.1 --- a/doc-src/TutorialI/Types/numerics.tex	Wed Dec 06 12:34:40 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Types/numerics.tex	Wed Dec 06 13:22:58 2000 +0100
     1.3 @@ -35,6 +35,7 @@
     1.4  useful lemmas are shown below.
     1.5  
     1.6  \subsection{Numeric Literals}
     1.7 +\label{sec:numerals}
     1.8  
     1.9  Literals are available for the types of natural numbers, integers 
    1.10  and reals and denote integer values of arbitrary size.