Diffusion Isabelle 2783779b7dd3

removed obsolete unmaintained experimental prover Pirate
2783779b7dd3
Actions

Tags

None

Subscribers

None

Description

removed obsolete unmaintained experimental prover Pirate

Details

Provenance

Authored on

Parents

rISABELLEabfeed05c323: tune filename

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE2783779b7dd3: removed obsolete unmaintained experimental prover Pirate.Oct 8 2020, 5:46 PM

Changes (7)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

Sledgehammer/

sledgehammer_atp_systems.ML

sledgehammer_isar.ML

sledgehammer_isar_proof.ML

sledgehammer_proof_methods.ML

sledgehammer_prover_atp.ML

rISABELLE2783779b7dd3

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...