--- a/src/ZF/IsaMakefile Mon Sep 13 09:57:25 2004 +0200
+++ b/src/ZF/IsaMakefile Fri Sep 17 16:08:52 2004 +0200
@@ -135,7 +135,7 @@
$(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.thy \
- Induct/ListN.thy Induct/Multiset.ML Induct/Multiset.thy Induct/Mutil.thy \
+ Induct/ListN.thy Induct/Multiset.thy Induct/Mutil.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