# HG changeset patch
# User wenzelm
# Date 1343322964 -7200
# Node ID a33784b07c6b0fc2a21d411b66b6f3a83d40f087
# Parent  5af5939455224331ad622e0a829b7b3b9e950439
recovered chapter on Presenting Theories;

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}