Diffusion Isabelle f27d7b12e8a4

support for SystemOnTPTP.run_system, with strict error following…
f27d7b12e8a4
Actions

Tags

None

Subscribers

None

Description

support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;

Details

Provenance

Authored on

Parents

rISABELLEc7f14309e291: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf27d7b12e8a4: support for SystemOnTPTP.run_system, with strict error following….Mar 14 2021, 3:28 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

ATP/

system_on_tptp.ML

system_on_tptp.scala

Pure/

System/

rISABELLEf27d7b12e8a4

src/HOL/Tools/ATP/system_on_tptp.ML

Loading...

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...

src/Pure/System/scala.scala

Loading...