diff -r 72c77ea184e6 -r 81e5ec0a3cd0 src/HOL/Import/HOL4/Generated/HOL4Base.thy
--- a/src/HOL/Import/HOL4/Generated/HOL4Base.thy	Sat Mar 03 23:42:56 2012 +0100
+++ b/src/HOL/Import/HOL4/Generated/HOL4Base.thy	Sat Mar 03 23:43:21 2012 +0100
@@ -1,7 +1,7 @@
 (* AUTOMATICALLY GENERATED, DO NOT EDIT! *)
 
 theory HOL4Base
-imports "../../HOL4Syntax" "../Compatibility"
+imports "../../Importer" "../Compatibility"
 begin
 
 setup_theory "~~/src/HOL/Import/HOL4/Generated" bool