Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more "sorted" changes
  3. more "sorted" changes
  4. new def of sorted and sorted_wrt
Changeset 68112:6a63a4ce756b by nipkow:
merged
Changeset 68111:bdbf759ddbac by nipkow:
more "sorted" changes
The file was modified src/HOL/List.thy (diff)
Changeset 68110:29da75b7e352 by nipkow:
more "sorted" changes
The file was modified src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy (diff)
The file was modified src/HOL/Imperative_HOL/ex/Sorted_List.thy (diff)
Changeset 68109:cebf36c14226 by nipkow:
new def of sorted and sorted_wrt
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Sorted_Less.thy (diff)
The file was modified src/HOL/Data_Structures/Tree234_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_Set.thy (diff)
The file was modified src/HOL/Library/RBT_Impl.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/ex/Bubblesort.thy (diff)
The file was modified src/HOL/ex/MergeSort.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)