Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature: more types, fewer warnings in IntelliJ IDEA;
  2. new less ad hoc implementation of the 'moura' tactic for skolemization
Changeset 79713:d3a26436e679 by wenzelm:
tuned signature: more types, fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 79712:658f17274845 by blanchet:
new less ad hoc implementation of the 'moura' tactic for skolemization
The file was modified NEWS (diff)
The file was modified src/HOL/Homology/Brouwer_Degree.thy (diff)
The file was modified src/HOL/SMT.thy (diff)