--- a/doc-src/TutorialI/Datatype/Nested.thy Thu Jul 26 18:55:42 2012 +0200
+++ b/doc-src/TutorialI/Datatype/Nested.thy Thu Jul 26 19:07:28 2012 +0200
@@ -30,7 +30,7 @@
would be something like
\medskip
-\input{Datatype/document/unfoldnested.tex}
+\input{document/unfoldnested.tex}
\medskip
\noindent