header (title/ID) added

--- a/src/HOL/Main.thy	Fri Sep 23 15:45:12 2005 +0200
+++ b/src/HOL/Main.thy	Fri Sep 23 16:01:45 2005 +0200
@@ -1,4 +1,6 @@
-(* $Id$ *)
+(*  Title:      HOL/Main.thy
+    ID:         $Id$
+*)
 
 header {* Main HOL *}