parse TPTP operator @ also when not parenthesized
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLEa0c9fc9c7dbe: removed setup for outdated CVC3 from Isabelle
- Branches
- Unknown
- Tags
parse TPTP operator @ also when not parenthesized Tags None Subscribers None
Description
Details
|