Whoops, forgot a header...
--- a/src/HOL/Import/HOL/HOL4.thy Sat Apr 17 23:53:35 2004 +0200
+++ b/src/HOL/Import/HOL/HOL4.thy Sat Apr 17 23:55:58 2004 +0200
@@ -1,3 +1,8 @@
+(* Title: HOL/Import/HOL/HOL4.thy
+ ID: $Id$
+ Author: Sebastian Skalberg (TU Muenchen)
+*)
+
theory HOL4 = HOL4Vec + HOL4Word32 + HOL4Real:
end