aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sorting
ModeNameSize
-rw-r--r--Heap.v7997logplain
-rw-r--r--PermutEq.v7015logplain
-rw-r--r--PermutSetoid.v8316logplain
-rw-r--r--Permutation.v6575logplain
-rw-r--r--Sorting.v4331logplain
-rw-r--r--intro.tex33logplain