--- a/src/HOL/Tools/ATP/atp_proof.ML Tue Aug 03 10:33:35 2021 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML Wed Aug 04 08:23:12 2021 +0200
@@ -54,6 +54,7 @@
val z3_tptpN : string
val zipperpositionN : string
val remote_prefix : string
+ val dummy_fofN : string
val dummy_tfxN : string
val dummy_thfN : string
@@ -117,6 +118,7 @@
val z3_tptpN = "z3_tptp"
val zipperpositionN = "zipperposition"
val remote_prefix = "remote_"
+val dummy_fofN = "dummy_fof"
val dummy_tfxN = "dummy_tfx"
val dummy_thfN = "dummy_thf"