# HG changeset patch
# User krauss
# Date 1171613063 -3600
# Node ID 8a36a3ca855820864a672712070c4cf03c4e5ba6
# Parent  a3acee47a8831a8ccb3383c2349978550e44d94e
updated Makefile

diff -r a3acee47a883 -r 8a36a3ca8558 src/HOL/IsaMakefile
--- 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		\