summaryrefslogtreecommitdiff
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v10050logplain
-rw-r--r--Mergesort.v9169logplain
-rw-r--r--PermutEq.v6995logplain
-rw-r--r--PermutSetoid.v16602logplain
-rw-r--r--Permutation.v11846logplain
-rw-r--r--Sorted.v4799logplain
-rw-r--r--Sorting.v637logplain
-rw-r--r--intro.tex33logplain
-rw-r--r--vo.itarget85logplain