src/HOL/Import/HOL4Setup.thy

--- a/src/HOL/Import/HOL4Setup.thy	Wed Jul 20 08:46:17 2011 +0200
+++ b/src/HOL/Import/HOL4Setup.thy	Wed Jul 20 10:11:08 2011 +0200
@@ -2,7 +2,7 @@
     Author:     Sebastian Skalberg (TU Muenchen)
 *)
 
-theory HOL4Setup imports MakeEqual ImportRecorder
+theory HOL4Setup imports MakeEqual
   uses ("proof_kernel.ML") ("replay.ML") ("hol4rews.ML") ("import.ML") begin
 
 section {* General Setup *}