--- a/src/HOL/IsaMakefile Thu Dec 06 12:58:01 2007 +0100
+++ b/src/HOL/IsaMakefile Thu Dec 06 15:10:09 2007 +0100
@@ -132,6 +132,7 @@
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 \
+ Tools/old_primrec_package.ML \
Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML \
Tools/recdef_package.ML Tools/recfun_codegen.ML \
Tools/record_package.ML Tools/refute.ML Tools/refute_isar.ML \