--- a/src/HOL/IsaMakefile Thu Feb 15 18:18:21 2007 +0100
+++ b/src/HOL/IsaMakefile Fri Feb 16 09:04:23 2007 +0100
@@ -113,7 +113,7 @@
Tools/function_package/mutual.ML \
Tools/function_package/pattern_split.ML \
Tools/function_package/sum_tools.ML \
- Tools/function_package/termination.ML Tools/inductive_codegen.ML \
+ Tools/inductive_codegen.ML \
Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \
Tools/numeral_syntax.ML Tools/old_inductive_package.ML \
Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML \