# HG changeset patch
# User krauss
# Date 1158240323 -7200
# Node ID b4b3933ec026f62f7655cc597aecabea49e36212
# Parent  b147d0c13f6eed0f45cb5d71f24e2015cd2afb4a
updated makefile

diff -r b147d0c13f6e -r b4b3933ec026 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Sep 14 15:25:05 2006 +0200
+++ b/src/HOL/IsaMakefile	Thu Sep 14 15:25:23 2006 +0200
@@ -127,12 +127,16 @@
   document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy 			\
   Tools/res_atp_provers.ML Tools/res_atp_methods.ML	\
   Tools/res_hol_clause.ML	\
+  Tools/function_package/sum_tools.ML 	\
   Tools/function_package/fundef_common.ML 	\
   Tools/function_package/fundef_lib.ML 	\
+  Tools/function_package/inductive_wrap.ML 	\
   Tools/function_package/context_tree.ML 	\
   Tools/function_package/fundef_prep.ML 	\
   Tools/function_package/fundef_proof.ML 	\
   Tools/function_package/termination.ML 	\
+  Tools/function_package/pattern_split.ML 	\
+  Tools/function_package/mutual.ML 	\
   Tools/function_package/fundef_package.ML 	\
   Tools/function_package/auto_term.ML 	\
   Tools/function_package/fundef_datatype.ML 	\