src/HOL/IsaMakefile
changeset 28825 415c7ffeb4cb
parent 28798 a0dd52dd7b55
child 28905 c999579a5166
     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