aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v9992logplain
-rw-r--r--Mergesort.v9110logplain
-rw-r--r--PermutEq.v6932logplain
-rw-r--r--PermutSetoid.v16524logplain
-rw-r--r--Permutation.v11846logplain
-rw-r--r--Sorted.v4738logplain
-rw-r--r--Sorting.v575logplain
-rw-r--r--intro.tex33logplain
-rw-r--r--vo.itarget85logplain