Diffusion Isabelle b6239ed66b94

fix veriT reconstruction for and_pos and lambda-lifting
b6239ed66b94
Actions

Tags

None

Subscribers

None

Description

fix veriT reconstruction for and_pos and lambda-lifting

Details

Provenance

Authored on

Parents

rISABELLEaeb797356de0: added lemmas image_mset_eq_{image_mset_plus,plus,plus_image_mset}D, and…

Branches

Unknown

Tags

Unknown

Event Timeline

mathias.fleury committed rISABELLEb6239ed66b94: fix veriT reconstruction for and_pos and lambda-lifting.Jun 14 2022, 4:14 PM

Changes (4)

Path

Size

src/

HOL/

SMT_Examples/

SMT_Tests_Verit.thy

Tools/

SMT/

verit_replay_methods.ML

rISABELLEb6239ed66b94

src/HOL/SMT_Examples/SMT_Tests_Verit.thy

Loading...

src/HOL/Tools/SMT/lethe_proof.ML

Loading...

src/HOL/Tools/SMT/verit_proof.ML

Loading...

src/HOL/Tools/SMT/verit_replay_methods.ML

Loading...