# HG changeset patch
# User paulson
# Date 976038945 -3600
# Node ID be043b89acc56c7da3196d9ad7911655dc96366f
# Parent  6330bc4b6fe460bfbd3c0cdbb50f0551e39d8270
partial numerics section

diff -r 6330bc4b6fe4 -r be043b89acc5 doc-src/TutorialI/Types/types.tex
--- a/doc-src/TutorialI/Types/types.tex	Tue Dec 05 18:55:18 2000 +0100
+++ b/doc-src/TutorialI/Types/types.tex	Tue Dec 05 18:55:45 2000 +0100
@@ -19,6 +19,8 @@
 \section{Numbers}
 \label{sec:numbers}
 
+\input{Types/numerics}
+
 \index{pair|(}
 \input{Types/document/Pairs}
 \index{pair|)}