split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE8dd527e97ddb: proper name mangling of "undefined" constants in Sledgehammer
- Branches
- Unknown
- Tags