Toolbox.vo: Toolbox.v st_base.vo st_logic.vo st_nat.vo st_arith.vo Standard.vo xt_fin.vo tbs_base.vo tbs_rel.vo tbs_op.vo tbs_rop.vo tbs_fun.vo tbs_fin.vo
tbs_fin.vo: tbs_fin.v tbs_fun.vo
tbs_fun.vo: tbs_fun.v tbs_rop.vo
tbs_rop.vo: tbs_rop.v tbs_op.vo
tbs_op.vo: tbs_op.v tbs_rel.vo
tbs_rel.vo: tbs_rel.v tbs_base.vo
tbs_base.vo: tbs_base.v xt_fin.vo
xt_fin.vo: xt_fin.v Standard.vo
Standard.vo: Standard.v st_base.vo st_logic.vo st_nat.vo st_arith.vo
st_arith.vo: st_arith.v st_nat.vo
st_nat.vo: st_nat.v st_logic.vo
st_logic.vo: st_logic.v st_base.vo
st_base.vo: st_base.v