--- a/src/HOL/IsaMakefile Mon Jan 22 16:53:33 2007 +0100
+++ b/src/HOL/IsaMakefile Mon Jan 22 17:29:43 2007 +0100
@@ -107,8 +107,7 @@
Tools/function_package/fundef_datatype.ML \
Tools/function_package/fundef_lib.ML \
Tools/function_package/fundef_package.ML \
- Tools/function_package/fundef_prep.ML \
- Tools/function_package/fundef_proof.ML \
+ Tools/function_package/fundef_core.ML \
Tools/function_package/inductive_wrap.ML \
Tools/function_package/lexicographic_order.ML \
Tools/function_package/mutual.ML \