removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE379d0c207c29: separation of traditional bit operations
- Branches
- Unknown
- Tags