Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 17800 d39171dda84e
parent 17783 4175daa1286c
child 17819 1241e5d31d5b 
--- 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
isabelle