added Import/susp.ML, Import/lazy_seq.ML, Import/lasy_scan.ML;

--- a/src/HOL/IsaMakefile	Sat Oct 08 20:15:38 2005 +0200
+++ b/src/HOL/IsaMakefile	Sat Oct 08 22:39:38 2005 +0200
@@ -244,7 +244,8 @@
 
 ## HOL-Complex-Import
 
-IMPORTER_FILES = Import/proof_kernel.ML Import/replay.ML \
+IMPORTER_FILES = Import/lazy_seq.ML Import/lazy_scan.ML \
+  Import/proof_kernel.ML Import/replay.ML Import/susp.ML \
   Import/shuffler.ML Import/MakeEqual.thy Import/HOL4Setup.thy \
   Import/HOL4Syntax.thy Import/HOL4Compat.thy Import/import_syntax.ML \
   Import/hol4rews.ML Import/import_package.ML Import/ROOT.ML