--- 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 \