--- a/doc-src/TutorialI/Protocol/protocol.tex Mon May 02 22:19:28 2011 +0200 +++ b/doc-src/TutorialI/Protocol/protocol.tex Mon May 02 22:31:46 2011 +0200 @@ -1,4 +1,3 @@ -% $Id$ \chapter{Case Study: Verifying a Security Protocol} \label{chap:crypto}