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/ZF/IsaMakefile
changeset 12560 5820841f21fd
parent 12552 d2d2ab3f1f37
child 12593 cd35fe5947d4 
--- a/src/ZF/IsaMakefile	Thu Dec 20 15:00:02 2001 +0100
+++ b/src/ZF/IsaMakefile	Thu Dec 20 15:17:48 2001 +0100
@@ -122,13 +122,11 @@
 
 ZF-Induct: ZF $(LOG)/ZF-Induct.gz
 
-$(LOG)/ZF-Induct.gz: $(OUT)/ZF  Induct/ROOT.ML Induct/Acc.ML Induct/Acc.thy \
-  Induct/Binary_Trees.thy Induct/Brouwer.thy Induct/Comb.ML Induct/Comb.thy \
-  Induct/Datatypes.thy Induct/FoldSet.ML Induct/FoldSet.thy Induct/ListN.ML \
+$(LOG)/ZF-Induct.gz: $(OUT)/ZF  Induct/ROOT.ML Induct/Acc.thy \
+  Induct/Binary_Trees.thy Induct/Brouwer.thy Induct/Comb.thy \
+  Induct/Datatypes.thy Induct/FoldSet.ML Induct/FoldSet.thy \
   Induct/ListN.thy Induct/Multiset.ML Induct/Multiset.thy Induct/Mutil.thy \
-  Induct/Ntree.thy Induct/Primrec_defs.ML Induct/Primrec_defs.thy \
-  Induct/Primrec.ML Induct/Primrec.thy \
-  Induct/PropLog.ML Induct/PropLog.thy Induct/Rmap.ML Induct/Rmap.thy \
+  Induct/Ntree.thy Induct/Primrec.thy Induct/PropLog.thy Induct/Rmap.thy \
   Induct/Term.thy Induct/Tree_Forest.thy Induct/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/ZF Induct
isabelle