src/HOL/IsaMakefile
changeset 27127 cd6617d57a16
parent 27103 d8549f4d900b
child 27163 587ad1fba128
--- a/src/HOL/IsaMakefile	Tue Jun 10 19:15:19 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Jun 10 19:15:20 2008 +0200
@@ -129,7 +129,7 @@
   Tools/function_package/measure_functions.ML	\
   Tools/function_package/mutual.ML					\
   Tools/function_package/pattern_split.ML	\
-  Tools/function_package/size.ML Tools/inductive_codegen.ML	\
+  Tools/function_package/size.ML Tools/induct_tacs.ML Tools/inductive_codegen.ML	\
   Tools/inductive_package.ML Tools/inductive_realizer.ML		\
   Tools/inductive_set_package.ML Tools/lin_arith.ML Tools/meson.ML	\
   Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML		\