
diff -r 0a380ac80e7d -r 6eb91805a012 doc-src/TutorialI/Inductive/Even.thy
--- a/doc-src/TutorialI/Inductive/Even.thy	Thu Oct 26 10:27:04 2000 +0200
+++ b/doc-src/TutorialI/Inductive/Even.thy	Thu Oct 26 11:27:48 2000 +0200
@@ -1,3 +1,4 @@
+(* ID:         $Id$ *)
 theory Even = Main:
 
 text{*We begin with a simple example: the set of even numbers.  Obviously this




