fixed HOL-TPTP following f58108b7a60c
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEbec00c7ef8dd: documented Sledgehammer option "induction_rules"
- Branches
- Unknown
- Tags
fixed HOL-TPTP following f58108b7a60c Tags None Subscribers None |