Diffusion Isabelle 615a6a6a4b0b

got rid of 'important message' mechanism in SystemOnTPTP (which is less used…
615a6a6a4b0b
Actions

Tags

None

Subscribers

None

Description

got rid of 'important message' mechanism in SystemOnTPTP (which is less used nowadays)

Details

Provenance

Authored on

Parents

rISABELLE57ede1743caf: merged

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE615a6a6a4b0b: got rid of 'important message' mechanism in SystemOnTPTP (which is less used….Mar 3 2023, 10:30 AM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

Sledgehammer/

sledgehammer_prover_atp.ML

rISABELLE615a6a6a4b0b

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...