aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v9896logplain
-rw-r--r--Mergesort.v9110logplain
-rw-r--r--PermutEq.v6940logplain
-rw-r--r--PermutSetoid.v16249logplain
-rw-r--r--Permutation.v20599logplain
-rw-r--r--Sorted.v4731logplain
-rw-r--r--Sorting.v575logplain
-rw-r--r--intro.tex33logplain
-rw-r--r--vo.itarget85logplain