1.1 --- a/src/HOL/IsaMakefile Mon Nov 17 17:25:02 2008 +0100
1.2 +++ b/src/HOL/IsaMakefile Mon Nov 17 21:13:48 2008 +0100
1.3 @@ -354,11 +354,11 @@
1.4
1.5 HOL-Induct: HOL $(LOG)/HOL-Induct.gz
1.6
1.7 -$(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \
1.8 - Induct/LFilter.thy Induct/LList.thy Induct/Mutil.thy \
1.9 - Induct/Ordinals.thy Induct/PropLog.thy Induct/QuoNestedDataType.thy \
1.10 - Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \
1.11 - Induct/Sigma_Algebra.thy Induct/SList.thy Induct/ABexp.thy \
1.12 +$(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \
1.13 + Induct/LFilter.thy Induct/LList.thy Induct/Ordinals.thy \
1.14 + Induct/PropLog.thy Induct/QuoNestedDataType.thy \
1.15 + Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \
1.16 + Induct/Sigma_Algebra.thy Induct/SList.thy Induct/ABexp.thy \
1.17 Induct/Term.thy Induct/Tree.thy Induct/document/root.tex
1.18 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Induct
1.19