X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES%2FMakefile;h=1648c32aaf05e10e53e5760fd925c4a6941e085d;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=76c27f9e23b3ea57280dd62e0b27c1fe0b1358ee;hpb=50cfabb6b8136873a02f8fd1512f0b62f97e2639;p=helm.git

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Makefile b/helm/coq-contribs/LAMBDA-TYPES/Makefile
index 76c27f9e2..1648c32aa 100644
--- a/helm/coq-contribs/LAMBDA-TYPES/Makefile
+++ b/helm/coq-contribs/LAMBDA-TYPES/Makefile
@@ -113,17 +113,20 @@ VFILES=base_tactics.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
@@ -184,17 +187,20 @@ all: base_tactics.vo\
   pr3_subst1.vo\
   pr3_gen_context.vo\
   pc1_defs.vo\
+  pc1_props.vo\
   pc3_defs.vo\
   pc3_props.vo\
   pc3_gen.vo\
   pc3_subst0.vo\
   pc3_gen_context.vo\
   ty0_defs.vo\
+  ty0_gen.vo\
   ty0_lift.vo\
   ty0_props.vo\
   ty0_subst0.vo\
   ty0_gen_context.vo\
   csub0_defs.vo\
+  csub0_props.vo\
   ty0_sred.vo\
   ty0_sred_props.vo\
   LambdaDelta.vo
@@ -265,17 +271,20 @@ xml:: .xml_time_stamp
   pr3_subst1.vo\
   pr3_gen_context.vo\
   pc1_defs.vo\
+  pc1_props.vo\
   pc3_defs.vo\
   pc3_props.vo\
   pc3_gen.vo\
   pc3_subst0.vo\
   pc3_gen_context.vo\
   ty0_defs.vo\
+  ty0_gen.vo\
   ty0_lift.vo\
   ty0_props.vo\
   ty0_subst0.vo\
   ty0_gen_context.vo\
   csub0_defs.vo\
+  csub0_props.vo\
   ty0_sred.vo\
   ty0_sred_props.vo\
   LambdaDelta.vo