aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v9941logplain
-rw-r--r--Mergesort.v9104logplain
-rw-r--r--PermutEq.v6946logplain
-rw-r--r--PermutSetoid.v16244logplain
-rw-r--r--Permutation.v18249logplain
-rw-r--r--Sorted.v4794logplain
-rw-r--r--Sorting.v575logplain