src/HOL/IsaMakefile

   Tools/Groebner_Basis/groebner.ML \
   Tools/Groebner_Basis/misc.ML \
   Tools/Groebner_Basis/normalizer_data.ML \
   Tools/Groebner_Basis/normalizer.ML \
   Tools/atp_manager.ML \
-  Tools/atp_thread.ML \
+  Tools/atp_wrapper.ML \
   Tools/meson.ML \
   Tools/metis_tools.ML \
   Tools/numeral.ML \
   Tools/numeral_syntax.ML \
   Tools/polyhash.ML \