Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS sorted_wrt
  3. added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
  4. merged
  5. Added tag Isabelle2017-RC0 for changeset a5dd01b68218
Changeset 66436:36a01c02d0ca by nipkow:
merged
Changeset 66435:292680dde314 by nipkow:
NEWS sorted_wrt
The file was modified NEWS (diff)
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 66434:5d7e770c7d5d by nipkow:
added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
The file was addedsrc/HOL/Data_Structures/Binomial_Heap.thy
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 66433:ad1e8ad9a3ae by wenzelm:
merged
Changeset 66432:3a78bbfe9cf3 by wenzelm:
Added tag Isabelle2017-RC0 for changeset a5dd01b68218
The file was modified .hgtags (diff)