merge "generic_prover" and "generic_tptp_prover"
merge "generic_prover" and "generic_tptp_prover"

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle