author | nipkow |
Thu, 04 Jan 2001 18:13:27 +0100 | |
changeset 10779 | b0d961105f46 |
parent 10778 | 2c6605049646 |
child 10780 | 856773b19058 |
--- 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.