Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer non-JNI SAT solvers by default in Nitpick
  2. milder Sledgehammer messages
  3. moved lemmas from AFP
Changeset 75665:707748d3d186 by blanchet:
prefer non-JNI SAT solvers by default in Nitpick
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/Nitpick/kodkod_sat.ML (diff)
Changeset 75664:a65c4539dedb by blanchet:
milder Sledgehammer messages
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_tactics.ML (diff)
Changeset 75663:f2e402a19530 by nipkow:
moved lemmas from AFP
The file was modified src/HOL/Library/FuncSet.thy (diff)