Diffusion Isabelle 27c93bfb0016

print Sledgehammer error message
27c93bfb0016
Actions

Tags

None

Subscribers

None

Description

print Sledgehammer error message

Details

Provenance

Authored on

Parents

rISABELLE78c2a92a8be4: updated documentation to current matter of affairs

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE27c93bfb0016: print Sledgehammer error message.Feb 14 2022, 4:34 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

Sledgehammer/

sledgehammer.ML

rISABELLE27c93bfb0016

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...