tuned proofs (manually or with sledgehammer): avoid "smt" due to spurious failures under heavy load;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP4345ca3dd26c: removed obsolete workaround (see Isabelle/91ee232b4211);
- Branches
- Unknown
- Tags