Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. Extracted floorlog and bitlen to separate theory Log_Nat
Changeset 63664:9ddc48a8635e by nipkow:
tuned
The file was modified src/HOL/Library/Float.thy (diff)
The file was modified src/HOL/Library/Log_Nat.thy (diff)
Changeset 63663:28d1deca302e by nipkow:
Extracted floorlog and bitlen to separate theory Log_Nat
The file was addedsrc/HOL/Library/Log_Nat.thy
The file was modified src/HOL/Data_Structures/Balance_List.thy (diff)
The file was modified src/HOL/Library/Float.thy (diff)