Q_misc.vo: Q_misc.v Z_misc.vo misc.vo
Z_misc.vo: Z_misc.v misc.vo
abstraction_phd_aux.vo: abstraction_phd_aux.v floor.vo Z_misc.vo Q_misc.vo comparison.vo misc.vo ibw_def.vo ibw_aux.vo ibw_prop.vo abstraction_phd_def.vo
abstraction_phd_def.vo: abstraction_phd_def.v floor.vo Z_misc.vo Q_misc.vo comparison.vo misc.vo ibw_def.vo
abstraction_phd_prop.vo: abstraction_phd_prop.v floor.vo Z_misc.vo Q_misc.vo comparison.vo misc.vo ibw_def.vo ibw_aux.vo ibw_prop.vo abstraction_phd_def.vo abstraction_phd_aux.vo
clock.vo: clock.v misc.vo ibw_def.vo ibw_aux.vo ibw_prop.vo abstraction_phd_def.vo abstraction_phd_aux.vo abstraction_phd_prop.vo
comparison.vo: comparison.v misc.vo Z_misc.vo Q_misc.vo floor.vo
floor.vo: floor.v misc.vo Q_misc.vo
ibw_aux.vo: ibw_aux.v misc.vo ibw_def.vo
ibw_def.vo: ibw_def.v misc.vo
ibw_prop.vo: ibw_prop.v misc.vo ibw_def.vo ibw_aux.vo
inw_aux.vo: inw_aux.v misc.vo inw_def.vo
inw_def.vo: inw_def.v misc.vo
inw_prop.vo: inw_prop.v misc.vo inw_def.vo inw_aux.vo
misc.vo: misc.v
