removed Induct/Mutil.thy -- the file has been moved to AFP;

--- a/src/HOL/Induct/ROOT.ML	Mon Nov 17 21:28:46 2008 +0100
+++ b/src/HOL/Induct/ROOT.ML	Mon Nov 17 21:36:48 2008 +0100
@@ -4,6 +4,6 @@
 setmp_noncritical quick_and_dirty true
   use_thy "Common_Patterns";
 
-use_thys ["Mutil", "QuoDataType", "QuoNestedDataType", "Term",
+use_thys ["QuoDataType", "QuoNestedDataType", "Term",
   "ABexp", "Tree", "Ordinals", "Sigma_Algebra", "Comb", "PropLog",
   "SList", "LFilter", "Com"];