Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated CASC instructions + tuning
Changeset 64561:a7664ca9ffc5 by blanchet:
updated CASC instructions + tuning
The file was modified src/HOL/TPTP/ATP_Problem_Import.thy (diff)
The file was modified src/HOL/TPTP/CASC/ReadMe (diff)
The file was modified src/HOL/TPTP/CASC/SysDesc_Isabelle.html (diff)
The file was modified src/HOL/TPTP/CASC/SysDesc_Nitpick.html (diff)
The file was modified src/HOL/TPTP/CASC/SysDesc_Refute.html (diff)
The file was modified src/HOL/TPTP/atp_problem_import.ML (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_isabelle (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_isabelle_hot (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_nitpick (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_refute (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_sledgehammer (diff)
The file was modified src/HOL/TPTP/lib/Tools/tptp_translate (diff)