don't perform preplaying steps if preplaying is disabled
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE632c9ae415fa: adjust TPTP THF parser to give priority to @ over other operators, to parse…
- Branches
- Unknown
- Tags