HomeIsabelle/Phabricator
Diffusion Isabelle 83940294cc67

fixed generation of Isar proofs e89709b80b6e
83940294cc67
Actions

Description

fixed generation of Isar proofs e89709b80b6e

Details

Provenance
desharnaAuthored on
Parents
rISABELLEe89709b80b6e: used more descriptive assert names in SMT-Lib output
Branches
Unknown
Tags
Unknown

Changes (6)

PathSize
src/
HOL/
Tools/
SMT/

rISABELLE83940294cc67

View Options

src/HOL/Tools/SMT/cvc4_proof_parse.ML

Loading...
View Options

src/HOL/Tools/SMT/smt_translate.ML

Loading...
View Options

src/HOL/Tools/SMT/smtlib_interface.ML

Loading...
View Options

src/HOL/Tools/SMT/verit_proof_parse.ML

Loading...
View Options

src/HOL/Tools/SMT/verit_replay.ML

Loading...
View Options

src/HOL/Tools/SMT/z3_replay.ML

Loading...