Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
Changeset 64560:c48becd96398 by blanchet:
support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_to_dot.ML (diff)