skip (somewhat pointless) shrink_proof more uniformly;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf2ce687bfa0a: apply_preproc for all proof boxes;
- Branches
- Unknown
- Tags
skip (somewhat pointless) shrink_proof more uniformly; Tags None Subscribers None |