aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v10083logplain
-rw-r--r--Mergesort.v9254logplain
-rw-r--r--PermutEq.v7096logplain
-rw-r--r--PermutSetoid.v16394logplain
-rw-r--r--Permutation.v18399logplain
-rw-r--r--Sorted.v4944logplain
-rw-r--r--Sorting.v725logplain