--- a/src/HOL/IsaMakefile Mon Aug 14 13:46:06 2006 +0200
+++ b/src/HOL/IsaMakefile Mon Aug 14 13:46:08 2006 +0200
@@ -107,7 +107,7 @@
Tools/ATP/watcher.ML \
Tools/cnf_funcs.ML \
Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML \
- Tools/datatype_codegen.ML Tools/datatype_package.ML \
+ Tools/datatype_codegen.ML Tools/datatype_hooks.ML Tools/datatype_package.ML \
Tools/datatype_prop.ML Tools/datatype_realizer.ML \
Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML \
Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML \