removed Import/lazy_scan.ML;
authorwenzelm
Fri Feb 17 17:00:33 2006 +0100 (2006-02-17)
changeset 190972fc1a6da9366
parent 19096 991c28e89d32
child 19098 fc736dbbe333
removed Import/lazy_scan.ML;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Feb 17 15:43:46 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Feb 17 17:00:33 2006 +0100
     1.3 @@ -247,9 +247,8 @@
     1.4  
     1.5  ## HOL-Complex-Import
     1.6  
     1.7 -IMPORTER_FILES = Import/lazy_seq.ML Import/lazy_scan.ML \
     1.8 -  Import/proof_kernel.ML Import/replay.ML Import/susp.ML \
     1.9 -  Import/shuffler.ML Import/MakeEqual.thy Import/HOL4Setup.thy \
    1.10 +IMPORTER_FILES = Import/lazy_seq.ML Import/proof_kernel.ML Import/replay.ML \
    1.11 +  Import/susp.ML Import/shuffler.ML Import/MakeEqual.thy Import/HOL4Setup.thy \
    1.12    Import/HOL4Syntax.thy Import/HOL4Compat.thy Import/import_syntax.ML \
    1.13    Import/hol4rews.ML Import/import_package.ML Import/ROOT.ML
    1.14