header (title/ID) added
authorwebertj
Fri Sep 23 16:01:45 2005 +0200 (2005-09-23)
changeset 1760263367feba417
parent 17601 a6a322f96145
child 17603 f601609d3300
header (title/ID) added
src/HOL/Main.thy
     1.1 --- a/src/HOL/Main.thy	Fri Sep 23 15:45:12 2005 +0200
     1.2 +++ b/src/HOL/Main.thy	Fri Sep 23 16:01:45 2005 +0200
     1.3 @@ -1,4 +1,6 @@
     1.4 -(* $Id$ *)
     1.5 +(*  Title:      HOL/Main.thy
     1.6 +    ID:         $Id$
     1.7 +*)
     1.8  
     1.9  header {* Main HOL *}
    1.10