Diffusion Isabelle a0c9fc9c7dbe

removed setup for outdated CVC3 from Isabelle
a0c9fc9c7dbe
Actions

Tags

None

Subscribers

None

Description

removed setup for outdated CVC3 from Isabelle

Details

Provenance

Authored on

Parents

rISABELLEa2b470e315ee: tuned E's lambda encoding

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEa0c9fc9c7dbe: removed setup for outdated CVC3 from Isabelle.Jul 19 2021, 2:47 PM

Changes (3)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

SMT/

rISABELLEa0c9fc9c7dbe

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/SMT.thy

Loading...

src/HOL/Tools/SMT/smt_systems.ML

Loading...