we restored the scripts of \lambda\delta version 1

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / Make

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Make b/helm/coq-contribs/LAMBDA-TYPES/Make
deleted file mode 100644 (file)
index c895b78..0000000
--- a/helm/coq-contribs/LAMBDA-TYPES/Make
+++ /dev/null
@@ -1,69 +0,0 @@
-# List of vernac files to compile
-base_tactics.v
-base_hints.v
-base_types.v
-base_blt.v
-base_rewrite.v
-Base.v
-terms_defs.v
-tlt_defs.v
-contexts_defs.v
-lift_defs.v
-lift_gen.v
-lift_props.v
-lift_tlt.v
-drop_defs.v
-drop_props.v
-subst0_defs.v
-subst0_gen.v
-subst0_lift.v
-subst0_subst0.v
-subst0_confluence.v
-subst0_tlt.v
-subst1_defs.v
-subst1_gen.v
-subst1_lift.v
-subst1_subst1.v
-subst1_confluence.v
-csubst0_defs.v
-csubst1_defs.v
-fsubst0_defs.v
-pr0_defs.v
-pr0_lift.v
-pr0_gen.v
-pr0_subst0.v
-pr0_confluence.v
-pr0_subst1.v
-pr1_defs.v
-pr1_confluence.v
-cpr0_defs.v
-pr2_defs.v
-pr2_lift.v
-pr2_gen.v
-pr2_confluence.v
-pr2_subst1.v
-pr2_gen_context.v
-pr3_defs.v
-pr3_props.v
-pr3_gen.v
-pr3_confluence.v
-pr3_subst1.v
-pr3_gen_context.v
-pc1_defs.v
-pc1_props.v
-pc3_defs.v
-pc3_props.v
-pc3_gen.v
-pc3_subst0.v
-pc3_gen_context.v
-ty0_defs.v
-ty0_gen.v
-ty0_lift.v
-ty0_props.v
-ty0_subst0.v
-ty0_gen_context.v
-csub0_defs.v
-csub0_props.v
-ty0_sred.v
-ty0_sred_props.v
-LambdaDelta.v