Diffusion Isabelle 71713dd09c35

support for let in Alethe name bindings;
71713dd09c35
Actions

Tags

None

Subscribers

None

Description

support for let in Alethe name bindings;

Details

Provenance

Authored on

Parents

rISABELLE0bd81d528598: merged

Branches

Unknown

Tags

Unknown

Event Timeline

mathias.fleury committed rISABELLE71713dd09c35: support for let in Alethe name bindings;.Jul 26 2023, 12:04 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

SMT/

smtlib_proof.ML

rISABELLE71713dd09c35

src/HOL/Tools/SMT/smt_solver.ML

Loading...

src/HOL/Tools/SMT/smtlib_proof.ML

Loading...