added Import/susp.ML, Import/lazy_seq.ML, Import/lasy_scan.ML;
authorwenzelm
Sat Oct 08 22:39:38 2005 +0200 (2005-10-08)
changeset 17800d39171dda84e
parent 17799 1cc6e60bd5ff
child 17801 30cbd2685e73
added Import/susp.ML, Import/lazy_seq.ML, Import/lasy_scan.ML;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Sat Oct 08 20:15:38 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat Oct 08 22:39:38 2005 +0200
     1.3 @@ -244,7 +244,8 @@
     1.4  
     1.5  ## HOL-Complex-Import
     1.6  
     1.7 -IMPORTER_FILES = Import/proof_kernel.ML Import/replay.ML \
     1.8 +IMPORTER_FILES = Import/lazy_seq.ML Import/lazy_scan.ML \
     1.9 +  Import/proof_kernel.ML Import/replay.ML Import/susp.ML \
    1.10    Import/shuffler.ML Import/MakeEqual.thy Import/HOL4Setup.thy \
    1.11    Import/HOL4Syntax.thy Import/HOL4Compat.thy Import/import_syntax.ML \
    1.12    Import/hol4rews.ML Import/import_package.ML Import/ROOT.ML