doc-src/TutorialI/Types/document/Numbers.tex

--- a/doc-src/TutorialI/Types/document/Numbers.tex	Fri Jun 27 09:34:08 2008 +0200
+++ b/doc-src/TutorialI/Types/document/Numbers.tex	Fri Jun 27 09:55:02 2008 +0200
@@ -9,7 +9,9 @@
 %
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
-\ Numbers\ \isakeyword{imports}\ Real\ \isakeyword{begin}%
+\ Numbers\isanewline
+\isakeyword{imports}\ Complex{\isacharunderscore}Main\isanewline
+\isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%
 %