treesort.cmo: treesort.ml
treesort.cmx: treesort.ml
Sorting.vo: Sorting.v ../LISTS/PolyList.vo ../SETS/Multiset.vo Permutation.vo ../RELATIONS/Relations.vo
Permutation.vo: Permutation.v ../RELATIONS/Relations.vo ../LISTS/PolyList.vo ../SETS/Multiset.vo
Heap.vo: Heap.v ../LISTS/PolyList.vo ../SETS/Multiset.vo Permutation.vo ../RELATIONS/Relations.vo Sorting.vo
Generic.vo: Generic.v
Sorting.html: Sorting.v ../LISTS/PolyList.html ../SETS/Multiset.html Permutation.html ../RELATIONS/Relations.html
Permutation.html: Permutation.v ../RELATIONS/Relations.html ../LISTS/PolyList.html ../SETS/Multiset.html
Heap.html: Heap.v ../LISTS/PolyList.html ../SETS/Multiset.html Permutation.html ../RELATIONS/Relations.html Sorting.html
Generic.html: Generic.v
