a contribution about subset theory in an intuitionistic and predicative foundation

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

diff --git a/helm/coq-contribs/SUBSETS/Make b/helm/coq-contribs/SUBSETS/Make
new file mode 100644 (file)
index 0000000..30cb093
--- /dev/null
+++ b/helm/coq-contribs/SUBSETS/Make
@@ -0,0 +1,14 @@
+# List of vernac files to compile
+st_base.v
+st_logic.v
+st_nat.v
+st_arith.v
+Standard.v
+xt_fin.v
+tbs_base.v
+tbs_rel.v
+tbs_op.v
+tbs_rop.v
+tbs_fun.v
+tbs_fin.v
+Toolbox.v