Diffusion Isabelle 19022ea3f8cc

clarified name and options for old vampire-4.2.2;
19022ea3f8cc
Actions

Tags

None

Subscribers

None

Description

clarified name and options for old vampire-4.2.2;

Details

Provenance

Authored on

Parents

rISABELLEd7a62db70a07: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE19022ea3f8cc: clarified name and options for old vampire-4.2.2;.Sep 15 2021, 4:02 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLE19022ea3f8cc

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...