added missing preprocessing step for extraction (due to Stefan Berghofer)
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rISABELLEdb120661dded: new HOL simproc: eliminate_false_implies
- Branches
- Unknown
- Tags
added missing preprocessing step for extraction (due to Stefan Berghofer) Tags None Subscribers None
Description
Details
|