src/HOL/IsaMakefile
changeset 20381 dbc1d8541bfb
parent 20349 1bf581bc4d60
child 20400 0ad2f3bbd4f0
     1.1 --- a/src/HOL/IsaMakefile	Mon Aug 14 13:46:06 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Aug 14 13:46:08 2006 +0200
     1.3 @@ -107,7 +107,7 @@
     1.4    Tools/ATP/watcher.ML 					\
     1.5    Tools/cnf_funcs.ML					\
     1.6    Tools/datatype_abs_proofs.ML Tools/datatype_aux.ML				\
     1.7 -  Tools/datatype_codegen.ML Tools/datatype_package.ML				\
     1.8 +  Tools/datatype_codegen.ML Tools/datatype_hooks.ML Tools/datatype_package.ML	\
     1.9    Tools/datatype_prop.ML Tools/datatype_realizer.ML				\
    1.10    Tools/datatype_rep_proofs.ML Tools/inductive_codegen.ML			\
    1.11    Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML		\