avoid [no_atp] declations shadowing propositions from sledgehammer
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEc793de82db34: track start in build job results (following 9d484c5d3a63), so it can directly…
- Branches
- Unknown
- Tags