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.
moved Import/susp.ML to Pure/General;
authorwenzelm
Tue, 19 Sep 2006 18:18:11 +0200
changeset 20610 09ef37366a31
parent 20609 5681da8c12ef
child 20611 ef4661e2e602
moved Import/susp.ML to Pure/General;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Sep 19 18:13:10 2006 +0200
+++ b/src/HOL/IsaMakefile	Tue Sep 19 18:18:11 2006 +0200
@@ -272,7 +272,7 @@
 ## HOL-Complex-Import
 
 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/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