# HG changeset patch
# User skalberg
# Date 1082238958 -7200
# Node ID bd78bdbc85a91cce7ee50abbaac2890cf5e97c91
# Parent  1be590fd242247bb7b1ffa64692619f512f98050
Whoops, forgot a header...

diff -r 1be590fd2422 -r bd78bdbc85a9 src/HOL/Import/HOL/HOL4.thy
--- 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