X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES%2FMake;fp=helm%2Fcoq-contribs%2FLAMBDA-TYPES%2FMake;h=0000000000000000000000000000000000000000;hb=7dc9dcddc88440527569d2a7216461bcd7398ab2;hp=c895b78c9ad5f9ae18897ba050079c675d836aa7;hpb=a57efb7e02d1c0af621ab36bd345f2f79f063a0c;p=helm.git

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Make b/helm/coq-contribs/LAMBDA-TYPES/Make
deleted file mode 100644
index c895b78c9..000000000
--- 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