require the presence of free variables to do abduction in Sledgehammer
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE72a99b54e206: removed exercise solution
- Branches
- Unknown
- Tags
require the presence of free variables to do abduction in Sledgehammer Tags None Subscribers None |