merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE5e033f907bcc: merged
rISABELLE0a46b3dbd5ad: tuned sledgehammer default provers to only include local ones - Branches
- Unknown
- Tags
Merged Changes
Merged Changes