diff -r 41dff1b862bf -r 381fdcab0f36 doc-src/TutorialI/Inductive/Even.thy
--- a/doc-src/TutorialI/Inductive/Even.thy	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/TutorialI/Inductive/Even.thy	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-(* ID:         $Id$ *)
 (*<*)theory Even imports Main uses "../../antiquote_setup.ML" begin(*>*)
 
 section{* The Set of Even Numbers *}