     1.1 --- a/doc-src/TutorialI/Sets/Examples.thy	Thu Oct 26 10:27:04 2000 +0200
     1.2 +++ b/doc-src/TutorialI/Sets/Examples.thy	Thu Oct 26 11:27:48 2000 +0200
     1.3 @@ -1,3 +1,4 @@
     1.4 +(* ID:         $Id$ *)
     1.5  theory Examples = Main:
     1.6  
     1.7  ML "reset eta_contract"
changeset 10341	6eb91805a012
parent 10294	2ec9c808a8a7
child 10864	f0b0a125ae4b