src/HOL/IsaMakefile
changeset 23574 42765aff66d6
parent 23549 88190085bb82
child 23666 48816d825078
--- a/src/HOL/IsaMakefile	Thu Jul 05 00:06:10 2007 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 05 00:06:11 2007 +0200
@@ -116,10 +116,9 @@
   Tools/function_package/inductive_wrap.ML				\
   Tools/function_package/lexicographic_order.ML				\
   Tools/function_package/mutual.ML					\
-  Tools/function_package/pattern_split.ML				\
-  Tools/inductive_codegen.ML	\
+  Tools/function_package/pattern_split.ML Tools/inductive_codegen.ML	\
   Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML	\
-  Tools/metis_tools.ML Tools/numeral_syntax.ML 				\
+  Tools/metis_tools.ML Tools/numeral.ML Tools/numeral_syntax.ML		\
   Tools/old_inductive_package.ML Tools/polyhash.ML 			\
   Tools/primrec_package.ML Tools/prop_logic.ML 	\
   Tools/recdef_package.ML Tools/recfun_codegen.ML			\