a contribution about subset theory in an intuitionistic and predicative foundation

[helm.git] / helm / coq-contribs / SUBSETS / .depend

diff --git a/helm/coq-contribs/SUBSETS/.depend b/helm/coq-contribs/SUBSETS/.depend
new file mode 100644 (file)
index 0000000..4229b49
--- /dev/null
+++ b/helm/coq-contribs/SUBSETS/.depend
@@ -0,0 +1,13 @@
+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