Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. store session sources stamp;
  2. generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen
  3. misc tuning and modernization;
  4. tuned output;
Changeset 66913:7cdd4d59e95c by wenzelm:
store session sources stamp;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 66912:a99a7cbf0fb5 by immler:
generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen
The file was modified src/HOL/Analysis/Arcwise_Connected.thy (diff)
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Library/Float.thy (diff)
The file was modified src/HOL/Library/Log_Nat.thy (diff)
The file was modified src/HOL/Power.thy (diff)
The file was modified src/HOL/Real.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 66911:d122c24a93d6 by wenzelm:
misc tuning and modernization;
The file was modified Admin/PLATFORMS (diff)
Changeset 66910:20d61ffa9867 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_release.scala (diff)