changeset 10779 | b0d961105f46 |
parent 10777 | a5a6255748c3 |
child 10794 | 65d18005d802 |
--- 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.