removed Induct/Mutil.thy -- the file has been moved to AFP;
authorwenzelm
Mon Nov 17 21:13:48 2008 +0100 (2008-11-17)
changeset 28825415c7ffeb4cb
parent 28824 1db25e5703e3
child 28826 3b460b6eadae
removed Induct/Mutil.thy -- the file has been moved to AFP;
src/HOL/IsaMakefile
     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