--- a/doc-src/TutorialI/Types/document/Typedefs.tex Tue Dec 18 17:31:08 2001 +0100
+++ b/doc-src/TutorialI/Types/document/Typedefs.tex Tue Dec 18 18:06:10 2001 +0100
@@ -121,20 +121,9 @@
\isa{three\ {\isasymequiv}\ {\isacharbraceleft}{\isadigit{0}}{\isacharcomma}\ {\isadigit{1}}{\isacharcomma}\ {\isadigit{2}}{\isacharbraceright}}\hfill(\isa{three{\isacharunderscore}def})
\end{center}
The situation is best summarized with the help of the following diagram,
-where squares are types and circles are sets:
+where squares denote types and the irregular region denotes a set:
\begin{center}
-\unitlength1mm
-\thicklines
-\begin{picture}(100,40)
-\put(3,13){\framebox(15,15){\isa{three}}}
-\put(55,5){\framebox(30,30){\isa{three}}}
-\put(70,32){\makebox(0,0){\isa{nat}}}
-\put(70,20){\circle{40}}
-\put(10,15){\vector(1,0){60}}
-\put(25,14){\makebox(0,0)[tl]{\isa{Rep{\isacharunderscore}three}}}
-\put(70,25){\vector(-1,0){60}}
-\put(25,26){\makebox(0,0)[bl]{\isa{Abs{\isacharunderscore}three}}}
-\end{picture}
+\includegraphics[scale=.8]{Types/typedef}
\end{center}
Finally, \isacommand{typedef} asserts that \isa{Rep{\isacharunderscore}three} is
surjective on the subset \isa{three} and \isa{Abs{\isacharunderscore}three} and \isa{Rep{\isacharunderscore}three} are inverses of each other: