1.1 --- a/doc-src/TutorialI/Inductive/Even.thy	Thu Oct 26 10:27:04 2000 +0200
     1.2 +++ b/doc-src/TutorialI/Inductive/Even.thy	Thu Oct 26 11:27:48 2000 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +(* ID:         $Id$ *)
     1.5  theory Even = Main:
     1.6  
     1.7  text{*We begin with a simple example: the set of even numbers.  Obviously this