bresenham_valid.vo: bresenham_valid.v ../../lib/coq/Why.vo ./bresenham_why.vo
bresenham_why.vo: bresenham_why.v ./zaux.vo ../../lib/coq/Why.vo
zaux.vo: zaux.v
