Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. better duplicate detection
  2. merged
  3. adapted to better linear arith
  4. more simp power and less incompleteness or arith
  5. no fork of long-term test results: too complicated;
  6. avoid depedency on FSet;
Changeset 66613:db3969568560 by blanchet:
better duplicate detection
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML (diff)
Changeset 66612:84926115c2dd by nipkow:
merged
Changeset 66611:c375b64a6c24 by nipkow:
adapted to better linear arith
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
Changeset 66610:98b7ba7b1e9a by nipkow:
more simp power and less incompleteness or arith
The file was modified src/HOL/Tools/lin_arith.ML (diff)
Changeset 66609:a61181ffb1ce by wenzelm:
no fork of long-term test results: too complicated;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66608:f3e7a1418979 by wenzelm:
avoid depedency on FSet;
The file was modified src/HOL/Library/Monad_Syntax.thy (diff)