ocaml 3.09 transition

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

diff --git a/helm/coq-contribs/LAMBDA-TYPES/Make b/helm/coq-contribs/LAMBDA-TYPES/Make
index 6a6d8783688b454a44d5df1ee4ac4fb78a75e935..c895b78c9ad5f9ae18897ba050079c675d836aa7 100644 (file)
--- 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