--- 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