# HG changeset patch
# User wenzelm
# Date 1140192033 -3600
# Node ID 2fc1a6da9366cb48c471aa78323b1b124aa0bb60
# Parent  991c28e89d32d31a3511a997eda2f31363d03b8c
removed Import/lazy_scan.ML;

diff -r 991c28e89d32 -r 2fc1a6da9366 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Feb 17 15:43:46 2006 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 17 17:00:33 2006 +0100
@@ -247,9 +247,8 @@
 
 ## HOL-Complex-Import
 
-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 \
+IMPORTER_FILES = Import/lazy_seq.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