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=c895b78c9ad5f9ae18897ba050079c675d836aa7;hb=de02d3ca246371df90b7d28a27c48a3783973a11;hp=6a6d8783688b454a44d5df1ee4ac4fb78a75e935;hpb=633474751ddf1074947ff0d324fb1aca2293eff8;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