contribution about \lambda-\delta

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / Base.v

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Base.v b/helm/coq-contribs/LAMBDA-TYPES/Base.v
new file mode 100644 (file)
index 0000000..6015c17
--- /dev/null
+++ b/helm/coq-contribs/LAMBDA-TYPES/Base.v
@@ -0,0 +1,7 @@
+Require Export Arith.
+Require Export Wf_nat.
+Require Export base_tactics.
+Require Export base_hints.
+Require Export base_types.
+Require Export base_blt.
+Require Export base_rewrite.