changeset 70934 | 25c1ff13dbdb |
parent 70931 | 1d2b2cc792f1 |
child 70944 | 849311b45428 |
--- a/src/HOL/ATP.thy Fri Oct 25 14:51:16 2019 +0200 +++ b/src/HOL/ATP.thy Fri Oct 25 14:55:14 2019 +0200 @@ -137,6 +137,5 @@ 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