aboutsummaryrefslogtreecommitdiff
path: root/theories/Sorting
ModeNameSize
-rw-r--r--CPermutation.v10012logplain
-rw-r--r--Heap.v10133logplain
-rw-r--r--Mergesort.v9271logplain
-rw-r--r--PermutEq.v7092logplain
-rw-r--r--PermutSetoid.v16019logplain
-rw-r--r--Permutation.v29011logplain
-rw-r--r--Sorted.v5087logplain
-rw-r--r--Sorting.v725logplain