
diff -r 619531d87ce4 -r 4e2ee88276d2 doc-src/TutorialI/Rules/rules.tex
--- a/doc-src/TutorialI/Rules/rules.tex	Thu Jul 26 16:08:16 2012 +0200
+++ b/doc-src/TutorialI/Rules/rules.tex	Thu Jul 26 19:59:06 2012 +0200
@@ -1809,7 +1809,7 @@
 
 \section{Finding More Theorems}
 \label{sec:find2}
-\input{Rules/document/find2.tex}
+\input{document/find2.tex}
 
 
 \section{Forward Proof: Transforming Theorems}\label{sec:forward}




