HomeIsabelle/Phabricator

split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir"…

Description

split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"

Details

Provenance
desharnaAuthored on
Parents
rISABELLE8dd527e97ddb: proper name mangling of "undefined" constants in Sledgehammer
Branches
Unknown
Tags
Unknown