1 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
2 tbs_fin.vo: tbs_fin.v tbs_fun.vo
3 tbs_fun.vo: tbs_fun.v tbs_rop.vo
4 tbs_rop.vo: tbs_rop.v tbs_op.vo
5 tbs_op.vo: tbs_op.v tbs_rel.vo
6 tbs_rel.vo: tbs_rel.v tbs_base.vo
7 tbs_base.vo: tbs_base.v xt_fin.vo
8 xt_fin.vo: xt_fin.v Standard.vo
9 Standard.vo: Standard.v st_base.vo st_logic.vo st_nat.vo st_arith.vo
10 st_arith.vo: st_arith.v st_nat.vo
11 st_nat.vo: st_nat.v st_logic.vo
12 st_logic.vo: st_logic.v st_base.vo