avoid using FOOL syntax with older Vampire versions because of soundness bug visible by passing 'Abs_unit_cases Rep_unit Rep_unit_cases' as the facts to Sledgehammer
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEd96dd69903fb: merged
- Branches
- Unknown
- Tags