Btree.vo: Btree.v ../LISTS/PolyList.vo ../../tactics/EqDecide.vo
Btree.html: Btree.v ../LISTS/PolyList.html ../../tactics/EqDecide.html
