--- a/doc-src/TutorialI/Types/document/Typedefs.tex Fri Jan 04 19:19:29 2002 +0100
+++ b/doc-src/TutorialI/Types/document/Typedefs.tex Fri Jan 04 19:19:51 2002 +0100
@@ -123,7 +123,7 @@
The situation is best summarized with the help of the following diagram,
where squares denote types and the irregular region denotes a set:
\begin{center}
-\includegraphics[scale=.8]{Types/typedef}
+\includegraphics[scale=.8]{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: