Diffusion Isabelle bdba138d462d

clarified signature: more structured arguments, notably for remote provers;
bdba138d462d
Actions

Tags

None

Subscribers

None

Description

clarified signature: more structured arguments, notably for remote provers;

Details

Provenance

Authored on

Parents

rISABELLE355af2d1b817: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbdba138d462d: clarified signature: more structured arguments, notably for remote provers;.Apr 12 2021, 10:16 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

ATP/

system_on_tptp.ML

system_on_tptp.scala

Sledgehammer/

sledgehammer_atp_systems.ML

sledgehammer_prover_atp.ML

rISABELLEbdba138d462d

src/HOL/Tools/ATP/system_on_tptp.ML

Loading...

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...