--- a/doc-src/TutorialI/Protocol/protocol.tex	Thu Jul 26 16:08:16 2012 +0200
+++ b/doc-src/TutorialI/Protocol/protocol.tex	Thu Jul 26 19:59:06 2012 +0200
@@ -129,7 +129,7 @@
 \index{Needham-Schroeder protocol|)}
 
 
-\input{Protocol/document/Message}
-\input{Protocol/document/Event}
-\input{Protocol/document/Public}
-\input{Protocol/document/NS_Public}
+\input{document/Message}
+\input{document/Event}
+\input{document/Public}
+\input{document/NS_Public}