--- a/src/HOL/IsaMakefile Mon Nov 17 17:25:02 2008 +0100
+++ b/src/HOL/IsaMakefile Mon Nov 17 21:13:48 2008 +0100
@@ -354,11 +354,11 @@
HOL-Induct: HOL $(LOG)/HOL-Induct.gz
-$(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \
- Induct/LFilter.thy Induct/LList.thy Induct/Mutil.thy \
- Induct/Ordinals.thy Induct/PropLog.thy Induct/QuoNestedDataType.thy \
- Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \
- Induct/Sigma_Algebra.thy Induct/SList.thy Induct/ABexp.thy \
+$(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \
+ Induct/LFilter.thy Induct/LList.thy Induct/Ordinals.thy \
+ Induct/PropLog.thy Induct/QuoNestedDataType.thy \
+ Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \
+ Induct/Sigma_Algebra.thy Induct/SList.thy Induct/ABexp.thy \
Induct/Term.thy Induct/Tree.thy Induct/document/root.tex
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Induct