src/HOL/IsaMakefile

   Tools/Nitpick/nitpick_peephole.ML \
   Tools/Nitpick/nitpick_preproc.ML \
   Tools/Nitpick/nitpick_rep.ML \
   Tools/Nitpick/nitpick_scope.ML \
   Tools/Nitpick/nitpick_tests.ML \
-  Tools/Nitpick/nitpick_tptp.ML \
   Tools/Nitpick/nitpick_util.ML \
   Tools/numeral.ML \
   Tools/numeral_simprocs.ML \
   Tools/numeral_syntax.ML \
   Tools/Predicate_Compile/core_data.ML \

 HOL-TPTP: HOL $(LOG)/HOL-TPTP.gz
 
 $(LOG)/HOL-TPTP.gz: \
   $(OUT)/HOL \
   TPTP/ROOT.ML \
+  TPTP/atp_problem_import.ML \
+  TPTP/ATP_Problem_Import.thy \
   TPTP/atp_theory_export.ML \
   TPTP/ATP_Theory_Export.thy \
   TPTP/CASC_Setup.thy
 	@$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP