
diff -r 8876ad83b1fb -r 1be590fd2422 src/HOL/Import/Generate-HOL/GenHOL4Base.thy
--- a/src/HOL/Import/Generate-HOL/GenHOL4Base.thy	Sat Apr 17 20:04:23 2004 +0200
+++ b/src/HOL/Import/Generate-HOL/GenHOL4Base.thy	Sat Apr 17 23:53:35 2004 +0200
@@ -1,3 +1,8 @@
+(*  Title:      HOL/Import/Generate-HOL/GenHOL4Base.thy
+    ID:         $Id$
+    Author:     Sebastian Skalberg (TU Muenchen)
+*)
+
 theory GenHOL4Base = HOL4Compat + HOL4Syntax:;
 
 import_segment "hol4";




