Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. document incompatibility
  2. real oracle
Changeset 66662:4b10fa05423b by blanchet:
document incompatibility
The file was modified NEWS (diff)
Changeset 66661:fdab65297bd6 by blanchet:
real oracle
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/SMT/smt_solver.ML (diff)