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
- rISABELLEff86f10e54cd: tuned message;
- Branches
- Unknown
- Tags