Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
  2. only recognize maps if the type names match
  3. robustness
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)
Changeset 64559:abd9a9fd030b by blanchet:
only recognize maps if the type names match
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML (diff)
Changeset 64558:63c76802ab5e by blanchet:
robustness
The file was modified src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML (diff)