Changes

Summary

Changeset 75275:cdb9c7d41a41 by desharna: updated SMT certificates
The file was modified	`src/HOL/SMT_Examples/Boogie_Dijkstra.certs` (diff)
The file was modified	`src/HOL/SMT_Examples/Boogie_Max.certs` (diff)
The file was modified	`src/HOL/SMT_Examples/SMT_Examples.certs` (diff)
The file was modified	`src/HOL/SMT_Examples/SMT_Examples_Verit.certs` (diff)
The file was modified	`src/HOL/SMT_Examples/SMT_Word_Examples.certs` (diff)
The file was modified	`src/HOL/SMT_Examples/VCC_Max.certs` (diff)
Changeset 75274:e89709b80b6e by desharna: used more descriptive assert names in SMT-Lib output
The file was modified	`src/HOL/Tools/SMT/cvc4_proof_parse.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/smt_normalize.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/smt_solver.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/smt_translate.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/smt_util.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/smtlib_interface.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/verit_isar.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/verit_proof.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/verit_proof_parse.ML` (diff)
The file was modified	`src/HOL/Tools/SMT/verit_replay.ML` (diff)
The file was modified	`src/HOL/Tools/lambda_lifting.ML` (diff)