
diff -r 5af593945522 -r a33784b07c6b doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu Jul 26 19:08:14 2012 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu Jul 26 19:16:04 2012 +0200
@@ -64,7 +64,7 @@
 \part{Elementary Techniques}
 \include{basics}
 \include{fp}
-\include{documents}
+\include{Documents/documents}
 
 \part{Logic and Sets}
 \include{Rules/rules}




