Heap_prog.vo: Heap_prog.v ../../LISTS/List.vo
Euclid_prog.vo: Euclid_prog.v ../../ARITH/Euclid_def.vo ../../ARITH/Compare_dec.vo ../../ARITH/Wf_nat.vo
Avl_prog.vo: Avl_prog.v ../../ARITH/Le.vo
Heap_prog.html: Heap_prog.v ../../LISTS/List.html
Euclid_prog.html: Euclid_prog.v ../../ARITH/Euclid_def.html ../../ARITH/Compare_dec.html ../../ARITH/Wf_nat.html
Avl_prog.html: Avl_prog.v ../../ARITH/Le.html
