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

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Make b/helm/coq-contribs/LAMBDA-TYPES/Make
index 6a6d87836..c895b78c9 100644
--- a/helm/coq-contribs/LAMBDA-TYPES/Make
+++ b/helm/coq-contribs/LAMBDA-TYPES/Make
@@ -50,17 +50,20 @@ 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