Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
  3. parallelize schedule optimization;
Changeset 79807:afb26a1dea71 by desharna:
merged
Changeset 79806:ba8fb71587ae by desharna:
added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Numeral_Type.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 79805:45198ea3f0b3 by fabian huch _huch@in.tum.de_:
parallelize schedule optimization;
The file was modified src/Pure/Build/build_schedule.scala (diff)