# HG changeset patch
# User wenzelm
# Date 1226952828 -3600
# Node ID 415c7ffeb4cb6108c8041a4d38bdb38b3f0c8d61
# Parent  1db25e5703e347d412ce2d7c53701e9d6a74b120
removed Induct/Mutil.thy -- the file has been moved to AFP;

diff -r 1db25e5703e3 -r 415c7ffeb4cb src/HOL/IsaMakefile
--- 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