disable 'falsify' and 'abduce' in Sledgehammer by default, since they don't seem to be very useful in practice
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEb7b777fc916c: Added tag Isabelle2023-RC0 for changeset f4221ae7544c
- Branches
- Unknown
- Tags