
diff -r 0e4bb86c74fd -r 708278fc2dff doc-src/TutorialI/Protocol/protocol.tex
--- a/doc-src/TutorialI/Protocol/protocol.tex	Thu Jul 26 17:32:28 2012 +0200
+++ b/doc-src/TutorialI/Protocol/protocol.tex	Thu Jul 26 18:55:42 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}




