use "monomorph.ML" in "ATP" theory (so the new Metis can use it)

--- a/src/HOL/ATP.thy	Tue May 31 16:38:36 2011 +0200
+++ b/src/HOL/ATP.thy	Tue May 31 16:38:36 2011 +0200
@@ -7,7 +7,8 @@
 
 theory ATP
 imports Meson
-uses "Tools/ATP/atp_util.ML"
+uses "Tools/monomorph.ML"
+     "Tools/ATP/atp_util.ML"
      "Tools/ATP/atp_problem.ML"
      "Tools/ATP/atp_proof.ML"
      "Tools/ATP/atp_systems.ML"

--- a/src/HOL/IsaMakefile	Tue May 31 16:38:36 2011 +0200
+++ b/src/HOL/IsaMakefile	Tue May 31 16:38:36 2011 +0200
@@ -310,6 +310,7 @@
   Tools/int_arith.ML \
   Tools/list_code.ML \
   Tools/list_to_set_comprehension.ML \
+  Tools/monomorph.ML \
   Tools/nat_numeral_simprocs.ML \
   Tools/Nitpick/kodkod.ML \
   Tools/Nitpick/kodkod_sat.ML \