Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renaming
  2. added is_empty
  3. misc tuning and modernization;
  4. tuned
  5. merged
  6. tuned
Changeset 64976:1a4cb9403a10 by nipkow:
renaming
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 64975:96b66d5c0fc1 by nipkow:
added is_empty
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 64974:d0e55f85fd8a by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/ex/NatSum.thy (diff)
Changeset 64973:ea56dd12deb0 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 64972:44108f90e54e by nipkow:
merged
Changeset 64971:a7597a58d7d3 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)