Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuning (proofs and code)
  2. upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
Changeset 66494:8645dc296dca by blanchet:
tuning (proofs and code)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_lfp_size.ML (diff)
Changeset 66493:c94c55cc8d86 by blanchet:
upgraded CVC4 component to fix abnormal termination reported by Larry Paulson
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)