Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. update syntax for verit
  3. clarified antiquotations;
  4. clarified antiquotations;
  5. provide verit-2021.06-rmx;
Changeset 74404:c8c63f921741 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
merged
Changeset 74403:dbd69d287ec6 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
update syntax for verit
The file was modified Admin/components/main (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.certs (diff)
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.thy (diff)
The file was modified src/HOL/Tools/SMT/verit_proof.ML (diff)
Changeset 74402:e7c10f7e09fa by wenzelm:
clarified antiquotations;
The file was modified src/HOL/TPTP/atp_problem_import.ML (diff)
Changeset 74401:1aa05eee4e8b by wenzelm:
clarified antiquotations;
The file was modified src/HOL/SMT_Examples/boogie.ML (diff)
Changeset 74400:269a39b6c5f8 by wenzelm:
provide verit-2021.06-rmx;
The file was modified Admin/components/components.sha1 (diff)