Diffusion Isabelle dbd69d287ec6

update syntax for verit
dbd69d287ec6
Actions

Tags

None

Subscribers

None

Description

update syntax for verit

Details

Provenance

Authored on

Parents

rISABELLE269a39b6c5f8: provide verit-2021.06-rmx;

Branches

Unknown

Tags

Unknown

Event Timeline

mathias.fleury committed rISABELLEdbd69d287ec6: update syntax for verit.Oct 1 2021, 10:35 PM

Changes (4)

Path

Size

Admin/

components/

src/

HOL/

SMT_Examples/

SMT_Examples_Verit.certs

SMT_Examples_Verit.thy

Tools/

SMT/

rISABELLEdbd69d287ec6

Admin/components/main

Loading...

src/HOL/SMT_Examples/SMT_Examples_Verit.certs

Loading...

src/HOL/SMT_Examples/SMT_Examples_Verit.thy

Loading...

src/HOL/Tools/SMT/verit_proof.ML

Loading...