Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed Import/lazy_scan.ML;
authorwenzelm
Fri, 17 Feb 2006 17:00:33 +0100
changeset 19097 2fc1a6da9366
parent 19096 991c28e89d32
child 19098 fc736dbbe333
removed Import/lazy_scan.ML;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle