Diffusion Isabelle 6d84c3c333d5

removed support for old system E-MaLeS
6d84c3c333d5
Actions

Tags

None

Subscribers

None

Description

removed support for old system E-MaLeS

Details

Provenance

Authored on

Parents

rISABELLEfe114eca312e: added support for repote Alt-Ergo

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLE6d84c3c333d5: removed support for old system E-MaLeS.Oct 25 2019, 3:23 PM

Changes (3)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

rISABELLE6d84c3c333d5

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...