# HG changeset patch
# User wenzelm
# Date 1128803978 -7200
# Node ID d39171dda84e1ac7d142b64348e8925f7f360455
# Parent  1cc6e60bd5ffba2e28196242ed65a0fed9b4d4c5
added Import/susp.ML, Import/lazy_seq.ML, Import/lasy_scan.ML;

diff -r 1cc6e60bd5ff -r d39171dda84e src/HOL/IsaMakefile
--- 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