src/HOL/ATP.thy

--- a/src/HOL/ATP.thy	Fri Oct 25 16:27:27 2019 +0200
+++ b/src/HOL/ATP.thy	Fri Oct 25 16:28:04 2019 +0200
@@ -137,5 +137,6 @@
 ML_file \<open>Tools/monomorph.ML\<close>
 ML_file \<open>Tools/ATP/atp_problem_generate.ML\<close>
 ML_file \<open>Tools/ATP/atp_proof_reconstruct.ML\<close>
+ML_file \<open>Tools/ATP/atp_systems.ML\<close>
 
 end