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.v16249logplain
-rw-r--r--Permutation.v18262logplain
-rw-r--r--Sorted.v4794logplain
-rw-r--r--Sorting.v575logplain
-rw-r--r--intro.tex33logplain
-rw-r--r--vo.itarget85logplain